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

Dynamic Logic for Data-aware Systems: Decidability Results IJCAI 2017
Efficient Network Reachability Analysis Using a Succinct Control Plane Representation OSDI 2016
Correlated Crash Vulnerabilities OSDI 2016
Probabilistic Temporal Logic for Motion Planning with Resource Threshold Constraints RSS 2012
Learning and Model-Checking Networks of I/O Automata ACML 2012