Computing the Bandwidth of Meager Timed Automata.

Eugene Asarin Aldric Degorre Catalin Dima Bernardo Jacobo Inclán

Published in: CoRR (2024)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
real time
data sets
database
information systems
first order logic
theorem proving
content delivery
high bandwidth