conftrace_

temporal-epistemic logic

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

multi-agent system (4) model checking (3) parameterised system (2) parameterised verification (2) swarm robotics (2) fault tolerance (2) symbolic synthesis (1) epistemic logic (1) symbolic verification (1) symbolic model (1)

Papers

Model Checking Temporal Epistemic Logic under Bounded Recall AAAI 2020 Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems IJCAI 2018 A Novel Symbolic Approach to Verifying Epistemic Properties of Programs IJCAI 2017 Parameterised Verification of Data-aware Multi-Agent Systems IJCAI 2017 Verifying Fault-tolerance in Parameterised Multi-Agent Systems IJCAI 2017