Alternating-time stream logic for multi-agent systems

DOI10.1016/j.scico.2009.07.007zbMath1192.68697OpenAlexW1977329189MaRDI QIDQ967523

Sascha Klüppelholz, Christel Baier

Publication date: 29 April 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2009.07.007

zbMATH Keywords

automatamodel checkingcoordinationdata streamsconcurrent gamesalternating-time temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Uses Software

• Reo

Cites Work

• The complexity of two-player games of incomplete information
• Propositional dynamic logic of regular programs
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Choosing social laws for multi-agent systems: Minimality and simplicity
• Symbolic model checking for channel-based component connectors
• Modeling component connectors in Reo by constraint automata
• On the expressiveness and complexity of randomization in finite state monitors
• Alternating-time temporal logic
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Reo: a channel-based coordination model for component composition
• Algorithms for Omega-Regular Games with Imperfect Information
• Hybrid Systems: Computation and Control
• Deontic Logic in Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item