732 search results - page 47 / 147 » Axiomatising timed automata |
JUCS
2006
14 years 11 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
103
click to vote
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
COLT
1995
Springer
15 years 3 months ago
1995
Springer
We present algorithms for exactly learning unknown environments that can be described by deterministic nite automata. The learner performs a walk on the target automaton, where at...
RTAS
2006
IEEE
15 years 5 months ago
2006
IEEE
117
click to vote
FORMATS
2004
Springer
15 years 3 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...