893 search results - page 103 / 179 » Modeling reactive systems in Java |
227
Voted
NICSO
2010
Springer
15 years 11 months ago
2010
Springer
Subsumption architectures are a well-known model for behaviour-based robotic control. The overall behaviour is achieved by defining a hierarchy of increasingly sophisticated behav...
162
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
126
click to vote
EH
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper discusses approaches to cooperative coevolution of form and function for autonomous vehicles, specifically evolving morphology and control for an autonomous micro air v...
148
click to vote
CIA
2000
Springer
15 years 8 months ago
2000
Springer
Auctions are proposed as a distributed negotiation mean, particularly useful in multiagent systems where both cooperative and self-interested agents compete for resources and serv...
149
click to vote
CAV
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...