GR(1)*: GR(1) specifications extended with existential guarantees

DOI10.1007/978-3-030-30942-8_7zbMATH Open1539.68147MaRDI QIDQ6535944FDOQ6535944

Authors Gal Amram, Shahar Maoz, Or Pistiner

Publication date 14 March 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• GR(1)*: GR(1) specifications extended with existential guarantees
• Quantitative assume guarantee synthesis
• Fairness, assumptions, and guarantees for extended bounded response \textsf{LTL+P} synthesis
• Synthesis of Reactive(1) designs
• Revisiting Synthesis of GR(1) Specifications

Cites work

• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3799616 (Why is no real title available?)
• scientific article; zbMATH DE number 1444727 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• An improved algorithm for the evaluation of fixpoint expressions
• Bridging the gap between fair simulation and trace inclusion
• Cooperative reactive synthesis
• Diagnostic Information for Realizability
• Graph-Based Algorithms for Boolean Function Manipulation
• Interpolation-based GR(1) assumptions refinement
• SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
• Synthesis of Reactive(1) designs
• Tools and Algorithms for the Construction and Analysis of Systems
• Using abduction and induction for operational requirements elaboration
• Verification, Model Checking, and Abstract Interpretation
• “Sometimes” and “not never” revisited

This page was built for publication: GR(1)*: GR(1) specifications extended with existential guarantees

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