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

Enhancing Strategy Logic with Procedural Rationality AAAI 2026
Formal Verification of Diffusion Auctions AAAI 2026
NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning AAAI 2026
When Natural Strategies Meet Fuzziness and Resource-Bounded Actions AAAI 2026
On Temporal Verification of Stateful P4 Programs NSDI 2025
Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions IJCAI 2025
Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract) AAAI 2025
LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces IJCAI 2025
Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems AAAI 2025
NatSTV: Towards Verification of Natural Strategic Ability IJCAI 2025
A SAT-based Method for Counting All Singleton Attractors in Boolean Networks IJCAI 2025
A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives AAAI 2025
Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models IJCAI 2025
A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity AAAI 2025
Probabilistic Strategy Logic with Degrees of Observability AAAI 2025
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models AAAI 2025
A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals IJCAI 2025
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata AAAI 2024
Submodel Enumeration for CTL Is Hard AAAI 2024
Backward Responsibility in Transition Systems Using General Power Indices AAAI 2024
Expressing Musical Ideas with Constraint Programming Using a Model of Tonal Harmony IJCAI 2024
Using Symmetries to Lift Satisfiability Checking AAAI 2024
Agentive Permissions in Multiagent Systems IJCAI 2024
Neural Model Checking NIPS 2024