Automata with timers
type: Item
instance of: scholarly article
title: Automata with timers
DOI: 10.1007/978-3-031-42626-1_3
author: Véronique Bruyère
author: G. A. Pérez
author: Gaëtan Staquet
author: F. Vaandrager
publication date: 2024-05-03T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q32
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 7842234
zbMATH Keywords: timed systems
zbMATH Keywords: model checking
zbMATH Keywords: reachability
MaRDI profile type: Publication
cites work: Is your model checker on time? On the complexity of model checking for timed modal logics
cites work: Q4817528
cites work: A theory of timed automata
cites work: Learning One-Clock Timed Automata
cites work: Learning regular sets from queries and counterexamples
cites work: Q5322945
cites work: Model Checking Real-Time Systems
cites work: Handbook of Model Checking
cites work: Automata, logics, and infinite games. A guide to current research
cites work: Learning of event-recording automata
cites work: Inference of Event-Recording Automata Using Timed Decision Trees
cites work: Q4714446
cites work: Analysis of timed systems using time-abstracting bisimulations
cites work: Learning Mealy machines with one timer
description: scientific article; zbMATH DE number 7842234