5200 search results - page 44 / 1040 » Symbolic models for control systems |
78
Voted
ICRA
1999
IEEE
15 years 6 months ago
1999
IEEE
122
click to vote
MMB
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
125
click to vote
IAT
2008
IEEE
15 years 2 months ago
2008
IEEE
While context-awareness has been found to be effective for decision support in complex domains, most of such decision support systems are hard-coded, incurring significant develop...
117
click to vote
TACAS
1998
Springer
15 years 6 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
123
Voted
QEST
2008
IEEE
15 years 8 months ago
2008
IEEE
Magnifying Lens Abstraction in Markov Decision Processes ∗ Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA ...