123 search results - page 13 / 25 » Optimizing Bounded Model Checking for Linear Hybrid Systems |
146
click to vote
CAV
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
139
Voted
VMCAI
2010
Springer
16 years 19 days ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
118
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
140
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
AUTOMATICA
2008
15 years 3 months ago
2008
This paper is concerned with the problem of robust filtering for uncertain linear discrete-time descriptor systems. The matrices of the system state-space model are uncertain, bel...