conftrace_

temporal logic

105 papers

Explore in graph

Also known as

TL

Co-occurring keywords

formal verification (284) model checking (105) linear temporal logic (82) markov decision process (790) multi-agent system (1819) reinforcement learning (4352) formal methods (79) finite trace (13) automated planning (152) automata theory (22)

Papers

Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae AAAI 2022
Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping L4DC 2022
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces IJCAI 2022
Compositional Semantics and Inference System for Temporal Order based on Japanese CCG ACL 2022
Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments IJCAI 2022
Real-Time Heuristic Search with LTLf Goals IJCAI 2022
ASP-Based Declarative Process Mining AAAI 2022
Extended Goal Recognition Design with First-Order Computation Tree Logic AAAI 2022
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators AAAI 2022
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs IJCAI 2021
Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments RSS 2021
Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners AAAI 2021
Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor CORL 2021
Neural Circuit Synthesis from Specification Patterns NIPS 2021
Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks AAAI 2021
Budget-Constrained Coalition Strategies with Discounting IJCAI 2021
Task-Oriented Active Perception and Planning in Environments with Partially Known Semantics ICML 2020
Differentiable Logic Layer for Rule Guided Trajectory Prediction CORL 2020
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints IJCAI 2020
Temporal Logics Over Finite Traces with Uncertainty AAAI 2020
Time-Bounded Mission Planning in Time-Varying Domains with Semi-MDPs and Gaussian Processes CORL 2020
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization IJCAI 2020
Learning Interpretable Models in the Property Specification Language IJCAI 2020
Parameterised Resource-Bounded ATL AAAI 2020
STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks NIPS 2020