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

Probabilistic Alternating-Time µ-Calculus AAAI 2019
Verification of RNN-Based Neural Agent-Environment Systems AAAI 2019
Partitioning Techniques in LTLf Synthesis IJCAI 2019
Probabilistic Strategy Logic IJCAI 2019
Dynamic logic of parallel propositional assignments and its applications to planning IJCAI 2019
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies IJCAI 2019
On Computational Tractability for Rational Verification IJCAI 2019
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information AAAI 2019
The Complexity of Model Checking Knowledge and Time IJCAI 2019
Satisfiability in Strategy Logic Can Be Easier than Model Checking AAAI 2019
A Probabilistic Logic for Resource-Bounded Multi-Agent Systems IJCAI 2019
Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications IJCAI 2019
Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!) IJCAI 2019
Reasoning about Quality and Fuzziness of Strategic Behaviours IJCAI 2019
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems IJCAI 2018
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals IJCAI 2018
Alternating-time Temporal Logic on Finite Traces IJCAI 2018
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems IJCAI 2018
ATL Strategic Reasoning Meets Correlated Equilibrium IJCAI 2017
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem IJCAI 2017
An Abstraction-Refinement Methodology for Reasoning about Network Games IJCAI 2017
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic IJCAI 2017
Parameterised Verification of Data-aware Multi-Agent Systems IJCAI 2017
Verifying Fault-tolerance in Parameterised Multi-Agent Systems IJCAI 2017
Model Checking Multi-Agent Systems against LDLK Specifications IJCAI 2017