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á bibliografie

Vydáno v:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] s. 698 - 709
Hlavní autoři:	Samuel, Stanly, D'Souza, Deepak, Komondoor, Raghavan
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 11.09.2023
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!