131 search results - page 7 / 27 » Model Checking Prioritized Timed Automata |
TACAS
1998
Springer
14 years 25 days ago
1998
Springer
ENTCS
2002
13 years 8 months ago
2002
CAV
2004
Springer
14 years 11 days 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...
RTCSA
1999
IEEE
14 years 27 days ago
1999
IEEE
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using ...
IPL
2007
13 years 8 months ago
2007
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...