Bandwidth of Timed Automata: 3 Classes.

Eugene Asarin Aldric Degorre Catalin Dima Bernardo Jacobo Inclán

Published in: FSTTCS (2023)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
multimedia
mobile devices
bit rate