SOURCE-LINKED INTELLIGENCE

Learning to adapt GR(1) specifications through degradation

arXiv · AI, language, vision and robotics · article · Sep 10, 2026 · UTC

Reactive synthesis is a powerful tool for generating correct-by-construction controllers from formal specifications. GR(1) is an assume-guarantee specification framework that enables efficient synthesis, allowing synthesised controllers to be used in a wide array of applications. The limitation of such controllers is that, should they encounter environment behaviour unspecified in the assumptions of the specification, the specified system guarantees are no longer ensured. Our work proposes an approach based on oracle-guided inductive synthesis to adapt the specification to be consistent with t

Read original source ↗ Open in workspace

recordType

paper

region

Global