3820 search results - page 279 / 764 » Bounded Model Debugging |
158
click to vote
TARK
2009
Springer
15 years 10 months ago
2009
Springer
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
131
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
124
Voted
HICSS
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper proposes the use of process models for DSS design. The kind of process models suggested are task structures and decision structures with simple graphical syntax and sem...
121
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper focuses on the design of a robust tube-based Model Predictive Control law for the control of constrained mobile robots. A time-varying trajectory tracking error mode...
134
Voted
NIPS
2001
15 years 5 months ago
2001
We present an algorithm that induces a class of models with thin junction trees--models that are characterized by an upper bound on the size of the maximal cliques of their triang...