conftrace_

model checking

109 papers

Explore in graph

Co-occurring keywords · papers mentioning both

multi-agent system (29) formal verification (28) temporal logic (20) strategic reasoning (13) modal logic (10) formal methods (8) game theory (8) epistemic logic (7) first-order logic (7) nash equilibrium (6)

Papers

Model Checking Multi-Agent Systems against LDLK Specifications IJCAI 2017 Parameterised Verification of Data-aware Multi-Agent Systems IJCAI 2017 Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic IJCAI 2017 Verifying Fault-tolerance in Parameterised Multi-Agent Systems IJCAI 2017 Correlated Crash Vulnerabilities OSDI 2016 Efficient Network Reachability Analysis Using a Succinct Control Plane Representation OSDI 2016 Learning and Model-Checking Networks of I/O Automata ACML 2012 Probabilistic Temporal Logic for Motion Planning with Resource Threshold Constraints RSS 2012 Improving Existing Fault Recovery Policies NeurIPS 2009