Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information

DOI10.1007/978-3-662-46681-0_50zbMath1420.68064arXiv1411.4604OpenAlexW1547931701MaRDI QIDQ5194960

Robert Könighofer, Roderick Bloem, Swen Jacobs, Krishnendu Chatterjee

Publication date: 17 September 2019

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

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

zbMATH Keywords

partial informationperfect informationtree automatoncritical sectiongraph game

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Compositional synthesis of modular systems, Distributed synthesis for parameterized temporal logics