Symbolic Fixpoint Algorithms for Logical LTL Games

Two-player games are a fruitful way to represent and reason about several important synthesis tasks. These tasks include controller synthesis (where one asks for a controller for a given plant such that the controlled plant satisfies a given temporal specification), program repair (setting values of...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] S. 698 - 709
Hauptverfasser:	Samuel, Stanly, D'Souza, Deepak, Komondoor, Raghavan
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 11.09.2023
Schlagworte:	Benchmark testing Games Maintenance engineering program repair program synthesis reactive synthesis Safety Software algorithms symbolic algorithms Synchronization Task analysis two-player games
ISSN:	2643-1572
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!