Bandwidth of Timed Automata: 3 Classes.

Eugene Asarin Aldric Degorre Catalin Dima Bernardo Jacobo Inclán

Published in: CoRR (2023)

Keyphrases

timed automata
model checking
theorem prover
temporal logic
video streaming
reachability analysis
real time
data sets
information systems
software engineering
source code
graphical models
theorem proving
storage capacity
video on demand