7 search results - page 1 / 2 » Safety first: A two-stage algorithm for LTL games |
FMCAD
2009
Springer
13 years 11 months ago
2009
Springer
ATVA
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented t...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
We consider concurrent games played on graphs. At every round of the game, each player simultaneously and independently selects a move; the moves jointly determine the transition ...
AIPS
2006
13 years 6 months ago
2006
Planning for partially observable, nondeterministic domains is a very signi cant and computationally hard problem. Often, reasonable assumptions can be drawn over expected/nominal...
CDC
2010
IEEE
12 years 12 months ago
2010
IEEE
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...