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

Full description

Bibliographic Details

Published in:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] pp. 698 - 709
Main Authors:	Samuel, Stanly, D'Souza, Deepak, Komondoor, Raghavan
Format:	Conference Proceeding
Language:	English
Published:	IEEE 11.09.2023
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!