Search Sciweavers | Sciweavers

50

FAABS
2004
Springer

178views Intelligent Agents» more FAABS 2004»

Towards Timed Automata and Multi-agent Systems

14 years 2 months ago

Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...

Guillaume Hutzler, Hanna Klaudel, D. Yue Wang

claim paper

Read More »

32

click to vote

JUCS
2006

121views more JUCS 2006»

On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata

13 years 8 months ago

Download faculty.nps.edu

: 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 ...

Doron Drusinsky

claim paper

Read More »

30

click to vote

SPIN
2004
Springer

120views Theoretical Computer Science» more SPIN 2004»

Validation of UML Models via a Mapping to Communicating Extended Timed Automata

14 years 2 months ago

Download www.irit.fr

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...

Iulian Ober, Susanne Graf, Ileana Ober

claim paper

Read More »

22

click to vote

COLT
1995
Springer

106views Machine Learning» more COLT 1995»

Exactly Learning Automata with Small Cover Time

14 years 7 days ago

Download www.cs.huji.ac.il

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...

Dana Ron, Ronitt Rubinfeld

claim paper

Read More »

20

click to vote

RTAS
2006
IEEE

90views Embedded Systems» more RTAS 2006»

A Semantic Unit for Timed Automata Based Modeling Languages

14 years 2 months ago