Qualitative Approximate Behavior Composition

DOI10.1007/978-3-642-33353-8_35zbMath1361.68282arXiv1207.3863OpenAlexW2117853997MaRDI QIDQ2915091

Sebastian Sardiña, Nitin Kumar Yadav

Publication date: 21 September 2012

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.3863

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items

Qualitative Approximate Behavior Composition

Uses Software

• MCMAS

Cites Work

• Synthesis of Reactive(1) designs
• Qualitative Approximate Behavior Composition
• Alternating-time temporal logic
• AUTOMATIC SERVICE COMPOSITION VIA SIMULATION
• Synthesis from Component Libraries
• Approximation Metrics for Discrete and Continuous Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item