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

Formalizing Group and Propagated Trust in Multi-Agent Systems IJCAI 2020
Temporal Logic Point Processes ICML 2020
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory IJCAI 2020
A Modal Logic for Joint Abilities under Strategy Commitments IJCAI 2020
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties IJCAI 2020
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces IJCAI 2020
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies IJCAI 2019
Planning with State Abstractions for Non-Markovian Task Specifications RSS 2019
Do You Need Infinite Time? IJCAI 2019
Transfer of Temporal Logic Formulas in Reinforcement Learning IJCAI 2019
Regular Decision Processes: A Model for Non-Markovian Domains IJCAI 2019
Reasoning over Streaming Data in Metric Temporal Datalog AAAI 2019
On Computational Tractability for Rational Verification IJCAI 2019
Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains IJCAI 2019
The Complexity of Model Checking Knowledge and Time IJCAI 2019
Probabilistic Alternating-Time µ-Calculus AAAI 2019
Bayesian Inference of Temporal Task Specifications from Demonstrations NIPS 2018
Sequence-to-Sequence Language Grounding of Non-Markovian Task Specifications RSS 2018
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals IJCAI 2018
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams RSS 2018
Temporalising Separation Logic for Planning with Search Control Knowledge IJCAI 2017
Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage IJCAI 2017
Model Checking Multi-Agent Systems against LDLK Specifications IJCAI 2017
Learning from Demonstrations with High-Level Side Information IJCAI 2017
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints RSS 2014