Sciweavers

Share
925 search results - page 1 / 185
» Environment Assumptions for Synthesis
Sort
View
CONCUR
2008
Springer
8 years 5 months ago
Environment Assumptions for Synthesis
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
CAV
2010
Springer
159views Hardware» more  CAV 2010»
8 years 5 months ago
Gist: A Solver for Probabilistic Games
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with -regular objectives; and (b) synthesizes reasonable environment assumptions f...
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
ATVA
2006
Springer
112views Hardware» more  ATVA 2006»
8 years 7 months ago
Synthesis for Probabilistic Environments
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
Sven Schewe
WACV
2002
IEEE
8 years 8 months ago
Range Synthesis for 3D Environment Modeling
In this paper a range synthesis algorithm is proposed as an initial solution to the problem of 3D environment modeling from sparse data. We develop a statistical learning method f...
Luz Abril Torres-Méndez, Gregory Dudek
SIGSOFT
2010
ACM
8 years 1 months ago
Synthesis of live behaviour models
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
Nicolás D'Ippolito, Víctor A. Braber...
books