Alternating-time stream logic for multi-agent systems

DOI10.1016/J.SCICO.2009.07.007zbMATH Open1192.68697OpenAlexW1977329189MaRDI QIDQ967523FDOQ967523

Authors: 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

Recommendations

• Alternating-time temporal logic
• Linear Temporal Logic of Constraint Automata
• MASL: A Logic for the Specification of Multiagent Real-Time Systems
• Logical formalism for specification of real-time multiagent systems
• Formal Verification for Components and Connectors

zbMATH Keywords

model checkingautomataconcurrent gamescoordinationdata streamsalternating-time temporal logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

• Title not available (Why is that?)
• Validating for liveness in hidden adversary systems

Uses Software

• Reo

This page was built for publication: Alternating-time stream logic for multi-agent systems

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