Login / Signup
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics.
Falke B. Ø. Carlsen
Lars Bo P. Frydenskov
Nicolaj Ø. Jensen
Jener Rasmussen
Mathias M. Sørensen
Asger G. Weirsøe
Mathias Claus Jensen
Kim G. Larsen
Published in:
GandALF (2023)
Keyphrases
</>
model checking
model checker
temporal logic
formal verification
distributed systems
multi agent systems
formal methods
formal specification
description language
epistemic logic
alternating time temporal logic
np hard
orders of magnitude
error rate
dynamic programming
data model
optimal solution