Learning realtime one-counter automata
type: Item
instance of: scholarly article
title: Learning realtime one-counter automata
zbMATH Open document ID: 1547.68284
DOI: 10.1007/978-3-030-99524-9_13
author: Véronique Bruyère
author: G. A. Pérez
author: Gaëtan Staquet
publication date: 2024-01-23T00:00:00Z
Mathematics Subject Classification ID: 68Q32
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 7793098
zbMATH Keywords: real-time one-counter automata
zbMATH Keywords: active learning
MaRDI profile type: Publication
cites work: Generating models of infinite-state communication protocols using regular inference with abstraction
cites work: Learning regular sets from queries and counterexamples
cites work: Active learning of sequential transducers with side information about the domain
cites work: Bisimulation equivalence and regularity for real-time one-counter automata
cites work: Q4636567
cites work: Programs with lists are counter automata
cites work: Efficient learning of real time one-counter automata
cites work: Grey-Box Learning of Register Automata
cites work: Adaptive Model Checking
cites work: Q3862379
cites work: Negation-closure for JSON schema
cites work: Q4999312
cites work: Q4807832
cites work: Inference of finite automata using homing sequences
cites work: Deterministic one-counter automata
description: scientific article; zbMATH DE number 7793098