Active learning of timed automata with unobservable resets
type: Item
instance of: scholarly article
title: Active learning of timed automata with unobservable resets
DOI: 10.1007/978-3-030-57628-8_9
author: Léo Henry
author: Thierry Jéron
author: Nicolas Markey
publication date: 2021-03-02T00:00:00Z
full work available at URL: https://arxiv.org/abs/2007.01637
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7317095
MaRDI profile type: Publication
OpenAlex ID: W3041783001
cites work: Learning One-Clock Timed Automata
cites work: A theory of timed automata
cites work: Event-clock automata: a determinizable class of timed automata
cites work: Learning regular sets from queries and counterexamples
cites work: Queries and concept learning
cites work: A Game Approach to Determinize Timed Automata
cites work: Inference of Event-Recording Automata Using Timed Decision Trees
cites work: Network invariants for real-time systems
cites work: Time to learn -- learning timed automata from tests
cites work: Polynomial Distinguishability of Timed Automata
cites work: Efficiently identifying deterministic real-time automata from labeled data
description: scientific article; zbMATH DE number 7317095