284 search results - page 32 / 57 » Explanation-based Scenario Generation for Reactive System Mo... |
121
click to vote
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
131
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
141
Voted
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
— This work is the first attempt to investigate the neural dynamics of a simulated robotic agent engaged in minimally cognitive tasks by employing evolved instances of the Kuram...
138
click to vote
TGC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
146
click to vote
WOA
2007
15 years 5 months ago
2007
—This paper presents a framework supporting the definition and implementation of virtual environment inhabited by interacting situated agents defined according to the Multilayere...