Learning of event-recording automata
type: Item
instance of: scholarly article
title: Learning of event-recording automata
zbMATH Open document ID: 1205.68201
author: Olga Grinchtein
author: Bengt Jonsson
author: Martin Leucker
published in: Theoretical Computer Science
publication date: 2010-11-11T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 5815231
zbMATH Keywords: model inference
zbMATH Keywords: model learning
zbMATH Keywords: timed systems
describes a project that uses: Uppaal
describes a project that uses: Kronos
describes a project that uses: Bandera
MaRDI profile type: Publication
full work available at URL: j.tcs.2010.07.008
OpenAlex ID: W1994748133
cites work: A theory of timed automata
cites work: Event-clock automata: a determinizable class of timed automata
cites work: Q4817528
cites work: Learning regular sets from queries and counterexamples
cites work: Q4336266
cites work: Fundamental Approaches to Software Engineering
cites work: Formal methods and software engineering. 5th international conference on formal engineering methods, ICFEM 2003, Singapore, November 5--7, 2003. Proceedings
cites work: Testing Software Design Modeled by Finite-State Machines
cites work: Inference of Event-Recording Automata Using Timed Decision Trees
cites work: Language identification in the limit
cites work: Q4472253
cites work: Network invariants for real-time systems
cites work: Q4738314
cites work: Temporal proof methodologies for timed transition systems
cites work: Computer Aided Verification
cites work: Q2753757
cites work: Automata, languages and programming. 25th international colloquium, ICALP '98. Aalborg, Denmark, July 13--17, 1998. Proceedings
cites work: Foundations of Software Science and Computation Structures
cites work: Inference of finite automata using homing sequences
cites work: Testing timed automata
cites work: Q5685979
DOI: 10.1016/J.TCS.2010.07.008
description: scientific article; zbMATH DE number 5815231