12 search results - page 3 / 3 » Qualitative Concurrent Stochastic Games with Imperfect Infor... |
FOSSACS
2009
Springer
14 years 2 days ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
SIMUTOOLS
2008
13 years 6 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...