Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Jensen, Mathias C."'
Autor:
Carlsen, Falke B. Ø., Frydenskov, Lars Bo P., Jensen, Nicolaj Ø., Rasmussen, Jener, Sørensen, Mathias M., Weirsøe, Asger G., Jensen, Mathias C., Larsen, Kim G.
Publikováno v:
EPTCS 390, 2023, pp. 99-114
We present CGAAL, our efficient on-the-fly model checker for alternating-time temporal logic (ATL) on concurrent game structures (CGS). We present how our tool encodes ATL as extended dependency graphs with negation edges and employs the distributed
Externí odkaz:
http://arxiv.org/abs/2310.00999
