Parameterised Model Checking for Alternating-Time Temporal Logic.

DOI10.3233/978-1-61499-672-9-1230zbMath1403.68127OpenAlexW2572663997MaRDI QIDQ4576245

No author found.

Publication date: 12 July 2018

Full work available at URL: https://doi.org/10.3233/978-1-61499-672-9-1230

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Unnamed Item ⋮ Parameterized model checking of networks of timed automata with Boolean guards

This page was built for publication: Parameterised Model Checking for Alternating-Time Temporal Logic.