The efficiency of identifying timed automata and the power of clocks
type: Item
instance of: scholarly article
title: The efficiency of identifying timed automata and the power of clocks
zbMATH Open document ID: 1217.68134
author: Mathijs M. de Weerdt
author: Cees Witteveen
author: Sicco Verwer
published in: Information and Computation
publication date: 2011-07-27T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5932335
zbMATH Keywords: deterministic timed automata
zbMATH Keywords: identification in the limit
zbMATH Keywords: complexity
describes a project that uses: Uppaal
MaRDI profile type: Publication
OpenAlex ID: W2170987619
cites work: A theory of timed automata
cites work: Uppaal in a nutshell
cites work: Q3392273
cites work: Event-clock automata: a determinizable class of timed automata
cites work: Inference of Event-Recording Automata Using Timed Decision Trees
cites work: Complexity of automaton identification from given data
cites work: Language identification in the limit
cites work: Characteristic sets for polynomial grammatical inference
cites work: On polynomial-time learnability in the limit of strictly deterministic automata
cites work: CONCUR 2004 - Concurrency Theory
cites work: Timed regular expressions
cites work: Teaching a smarter learner.
cites work: Minimal NFA Problems are Hard
DOI: 10.1016/J.IC.2010.11.023
Recommended article: One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit
Recommended article: Detecting Quasi-equal Clocks in Timed Automata
Recommended article: The power of reachability testing for timed automata
Recommended article: Synthesizing Clock-Efficient Timed Automata
Recommended article: The timestamp of timed automata
Recommended article: Q4063063
Recommended article: The Power of Proofs: New Algorithms for Timed Automata Model Checking
Recommended article: Event-clock automata: a determinizable class of timed automata
Recommended article: On Clock-Aware LTL Properties of Timed Automata
Recommended article: Q5089309
description: scientific article; zbMATH DE number 5932335