Performance and Applicability of State Estimation Methods for Timed Automata (Artifact)

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Julian Klein, Julian Böhm, Maria Ter-Minasyan, Sabine Glesner
DOI: 10.5281/zenodo.17988964
Cited by: 0

Abstract

Source code, documentation, inputs, and results for the paper "Performance and Applicability of State Estimation Methods for Timed Automata".

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
18 January 2026
Language
EN