Specifiable robustness in reactive synthesis
Work
Year: 2022
Type: article
Abstract: When synthesizing a system from a given specification, there is room for automatically adding various requirements, hence improving the resulting system. One such requirement covered extensively in p... more
Source: Formal Methods in System Design
Institutions Graz University of Technology, King's College London, Technion – Israel Institute of Technology
Cites: 21
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
APC paid (est): $3,490