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...

Celý popis

Podrobná bibliografia

Vydané v:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] s. 698 - 709
Hlavní autori:	Samuel, Stanly, D'Souza, Deepak, Komondoor, Raghavan
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 11.09.2023
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!