171 search results - page 7 / 35 » Hypervolume Approximation in Timed Automata Model Checking |
47
Voted
ENTCS
2002
14 years 9 months ago
2002
FOSSACS
2007
Springer
15 years 3 months ago
2007
Springer
TACAS
1998
Springer
15 years 1 months ago
1998
Springer
CAV
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
FORMATS
2003
Springer
15 years 2 months ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...