conftrace_

model checking

105 papers

Explore in graph

Co-occurring keywords

multi-agent system (1819) formal verification (284) temporal logic (105) strategic reasoning (53) modal logic (55) formal methods (79) game theory (854) epistemic logic (42) first-order logic (171) nash equilibrium (398)

Papers

Explaining the Behaviour of Hybrid Systems with PDDL+ Planning IJCAI 2022
Extended Goal Recognition Design with First-Order Computation Tree Logic AAAI 2022
Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement AAAI 2022
A Computationally Grounded Logic of 'Seeing-to-it-that' IJCAI 2022
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces IJCAI 2022
Logical Inference for Counting on Semi-structured Tables ACL 2022
Linear Temporal Logic Modulo Theories over Finite Traces IJCAI 2022
Multi-Agent Belief Base Revision IJCAI 2021
Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty AAAI 2021
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements IJCAI 2021
Reasoning About Agents That May Know Other Agents’ Strategies IJCAI 2021
Verifiable Machine Ethics in Changing Contexts AAAI 2021
SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs IJCAI 2021
Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes AAAI 2020
Plankton: Scalable network configuration verification through model checking NSDI 2020
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic IJCAI 2020
A Modal Logic for Joint Abilities under Strategy Commitments IJCAI 2020
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory IJCAI 2020
Proving Semantic Properties as First-Order Satisfiability (Extended Abstract) IJCAI 2020
Parameterised Resource-Bounded ATL AAAI 2020
Model-Based Synthesis of Incremental and Correct Estimators for Discrete Event Systems IJCAI 2020
Probabilistic Inference for Predicate Constraint Satisfaction AAAI 2020
Formalizing Group and Propagated Trust in Multi-Agent Systems IJCAI 2020
Model Checking Temporal Epistemic Logic under Bounded Recall AAAI 2020