Robust alternating-time temporal logic
type: Item
instance of: scholarly article
title: Robust alternating-time temporal logic
DOI: 10.1007/978-3-031-43619-2_54
author: Aniello Murano
author: Daniel Neider
author: Martin Zimmermann
publication date: 2024-05-29T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7855161
zbMATH Keywords: multi-agents
zbMATH Keywords: temporal logic
zbMATH Keywords: robustness
MaRDI profile type: Publication
cites work: Formally Reasoning About Quality
cites work: Alternating-time temporal logic
cites work: Graded modalities in strategy logic
cites work: Evrostos
cites work: Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
cites work: Verification of multi-agent systems with public actions against strategy logic
cites work: Reasoning about Quality and Fuzziness of Strategic Behaviors
cites work: Robust Analysis of Timed Automata Via Channel Machines
cites work: Strategy logic
cites work: Q3336675
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Robust Satisfaction of Temporal Logic over Real-Valued Signals
cites work: Graded Alternating-Time Temporal Logic
cites work: A Temporal Logic of Robustness
cites work: Automata, logics, and infinite games. A guide to current research
cites work: The model checking fingerprints of CTL operators
cites work: Module checking
cites work: Augmenting ATL with strategy contexts
cites work: Reasoning About Strategies
cites work: ATL* Satisfiability Is 2EXPTIME-Complete
cites work: Robust Linear Temporal Logic
cites work: ATL Satisfiability is Indeed EXPTIME-complete
description: scientific article; zbMATH DE number 7855161