Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
type: Item
instance of: scholarly article
title: Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
author: Alessandro Cimatti
author: Luca Geatti
author: Nicola Gigante
author: Angelo Montanari
author: Stefano Tonetta
published in: Formal Methods in System Design
publication date: 2025-01-13T00:00:00Z
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7965956
zbMATH Keywords: reactive synthesis
zbMATH Keywords: safety
zbMATH Keywords: automata
zbMATH Keywords: linear temporal logic
MaRDI profile type: Publication
cites work: Synthesis of Reactive(1) designs
cites work: SAT-Based Synthesis Methods for Safety Specs
cites work: Domino-tiling games
cites work: Q5725991
cites work: Concurrent reachability games
cites work: A brief account of runtime verification
cites work: Propositional temporal logics: decidability and completeness
cites work: Practical synthesis of reactive systems from LTL specifications via parity games
cites work: Formal Modeling and Analysis of Timed Systems
cites work: On Synthesizing Controllers from Bounded-Response Properties
cites work: Q3113783
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Q4205072
cites work: Correct Hardware Design and Verification Methods
cites work: Q4348133
cites work: Reasoning about infinite computations
DOI: 10.1007/S10703-021-00383-3
description: scientific article; zbMATH DE number 7965956