A New Algorithm for Strategy Synthesis in LTL Games

Abstract

The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, the specification is often presented as an ATL or LTL formula interpreted over a finite-state game. The required program is then a strategy for winning this game. A theoretically optimal… (More)
DOI: 10.1007/978-3-540-31980-1_31

Topics

6 Figures and Tables

Slides referencing similar topics