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

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

Mathematics Subject Classification ID

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

Cites Work

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

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)