Logical formalism for specification of real-time multiagent systems
From MaRDI portal
Recommendations
- MASL: A Logic for the Specification of Multiagent Real-Time Systems
- Specification and Verification of Multi-Agent Systems
- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation
- Intelligent Agents and Multi-Agent Systems
- scientific article; zbMATH DE number 1396181
Cites work
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- Alternating-time temporal logic
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- On the expressivity and complexity of quantitative branching-time temporal logics
Cited in
(10)- A formal method to model early requirement of multi-agent system
- Alternating-time stream logic for multi-agent systems
- scientific article; zbMATH DE number 1954110 (Why is no real title available?)
- MASL: A Logic for the Specification of Multiagent Real-Time Systems
- Intelligent Agents and Multi-Agent Systems
- Dynamic exploration of multi-agent systems with periodic timed tasks
- scientific article; zbMATH DE number 1931645 (Why is no real title available?)
- scientific article; zbMATH DE number 2090909 (Why is no real title available?)
- A temporal trace language for formal modelling and analysis of agent systems
- scientific article; zbMATH DE number 1396181 (Why is no real title available?)
This page was built for publication: Logical formalism for specification of real-time multiagent systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q945994)
