Alternating-time temporal logic with default actions

DOI10.1007/978-3-032-04590-4_18MaRDI QIDQ6884704zbMATH OpenFDO

Authors Jakub Michaliszyn

Publication date 15 December 2025

Full work available at URL https://doi.org/10.1007/978-3-032-04590-4_18

zbMATH Keywords

model checkingmultiagent logicrobust strategies

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites work

• Abstraction-based verification of infinite-state reactive modules
• Alternating-time temporal logic
• Model checking agent communication
• Module checking
• Multi-agent verification and control with probabilistic model checking
• Parameterized model checking on the TSO weak memory model
• Reasoning about strategies: on the model-checking problem
• Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proc

This page was built for publication: Alternating-time temporal logic with default actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6884704)