Olga Grinchtein, Bengt Jonsson, and Martin Leucker Department of Computer...  Home/Search
Context
Related
| www4.in.tum.de/~leuck...formats04.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www4.in.tum.de/~leucker/Pub...all (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We extend Angluin's algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of deterministic event-recording automata. (Update)
Active bibliography (related documents): More All
0.7: INFINITY 2004 Preliminary Version - Inference Of Timed (Correct)
0.1: Static Guard Analysis in Timed Automata Verification - Behrmann, al. (2003) (Correct)
0.1: Lower and Upper Bounds in Zone Based Abstractions of Timed.. - Behrmann, al. (2004) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ bengt-learning,
author = "Olga Grinchtein Bengt",
title = "Learning of Event-Recording Automata",
url = "citeseer.ist.psu.edu/744811.html" }
Citations (may not include all citations):828 Model Checking - Clarke, Grumberg et al. - 1999
666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
412 Language identification in the limit (context) - Gold - 1967
270 Bandera : Extracting finite-state models from Java source co.. - Corbett, Dwyer et al. - 2000
244 Learning regular sets from queries and counterexamples (context) - Angluin - 1987
141 Timing assumptions and verification of finite-state concurre.. (context) - Dill
93 UPPAAL: a tool suite for the automatic verification of real-.. - Bengtsson, Larsen et al. - 1996
82 Kronos: A model-checking tool for real-time systems - Bozga, Daws et al. - 1998
73 Timed automata - Alur - 1999
40 An experiment in automatic generation of test suites for pro.. - Fernandez, Jard et al. - 1997
33 Event-clock automata: A determinizable class of timed automa.. - Alur, Fix et al. - 1999
17 Adaptive model checking - Groce, Peled et al.
7 Untameable timed automata (context) - Bouyer - 2003
2 Algorithms for learning finite automata from queries: A unif.. - Balcazar, Daz et al. - 1997
Documents on the same site (http://www4.in.tum.de/~leucker/Publications/all.html): More
Truth/SLC - A Parallel Verification Platform for Concurrent.. - Leucker, Noll (2001) (Correct)
Model-Based Runtime Analysis of Distributed Reactive Systems - Bauer, Leucker, Schallhart (Correct)
Insights to Angluin's Learning - Berg, Jonsson, Leucker, Saksena (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC