Dynamic data structures for timed automata acceptance

DOI10.4230/LIPICS.IPEC.2021.20MaRDI QIDQ6192488zbMATH OpenFDO

Authors Alejandro Grez, Filip Mazowiecki, Michał Pilipczuk, Gabriele Puppis, Cristian Riveros

Publication date 12 February 2024

Full work available at URL https://doi.org/10.4230/LIPICS.IPEC.2021.20

zbMATH Keywords

data streamdynamic data structuretimed automata

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Parameterized complexity, tractability and kernelization (68Q27) Algorithms in computer science (68Wxx)

Recommendations

• Dynamic data structures for timed automata acceptance
• A theory of timed automata
• Testing membership for timed automata
• Augmenting the discrete timed automaton with other data structures.
• Determinisability of register and timed automata

Cited in

(2)

• Dynamic data structures for timed automata acceptance
• Fast and scalable monitoring for value-freeze operator augmented signal temporal logic

This page was built for publication: Dynamic data structures for timed automata acceptance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6192488)