Dynamic data structures for timed automata acceptance

DOI10.1007/S00453-022-01025-8MaRDI QIDQ2093569zbMATH OpenOpenAlexWikidataFDO

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

Publication date 27 October 2022

Published in Algorithmica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00453-022-01025-8

zbMATH Keywords

data streamdynamic data structuretimed automata

Mathematics Subject Classification ID

Graph theory (05Cxx) 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

Cites work

• A brief account of runtime verification
• A theory of timed automata
• Automata theory on sliding windows
• Dynamic parameterized problems and algorithms
• Fault diagnosis for timed automata
• Higher lower bounds from the 3SUM conjecture
• scientific article; zbMATH DE number 1424324 (Why is no real title available?)
• scientific article; zbMATH DE number 3428547 (Why is no real title available?)
• Maintaining Stream Statistics over Sliding Windows
• On a class of \(O(n^ 2)\) problems in computational geometry
• On a class of O(n^2) problems in computational geometry
• Querying regular languages over sliding windows
• Recognizing well-parenthesized expressions in the streaming model
• Streaming algorithms for language recognition problems
• Threesomes, degenerates, and love triangles
• Timed automata and additive clock constraints
• Timed Pushdown Automata Revisited
• Towards polynomial lower bounds for dynamic problems

Cited in

(3)

• Testing membership for timed automata
• Dynamic data structures for timed automata acceptance
• Parameterized dynamic data structure for split completion

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 Q2093569)