Effective Synthesis of Asynchronous Systems from GR(1) Specifications

DOI10.1007/978-3-642-27940-9_19zbMath1326.68186OpenAlexW1548230619MaRDI QIDQ2891421

Amir Pnueli, Nir Piterman, Uri Klein

Publication date: 15 June 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2381/10445

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Effective Synthesis of Asynchronous Systems from GR(1) Specifications ⋮ Graph Games and Reactive Synthesis ⋮ Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control

Uses Software

• JTLV

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The complementation problem for Büchi automata with applications to temporal logic
• Reasoning about infinite computations
• Effective Synthesis of Asynchronous Systems from GR(1) Specifications
• Receding horizon control for temporal logic specifications
• On the Merits of Temporal Testers
• Synthesis of Asynchronous Systems
• Solving Games Without Determinization
• Solving Sequential Conditions by Finite-State Strategies
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Effective Synthesis of Asynchronous Systems from GR(1) Specifications