Simulations for Event-Clock Automata.

S. Akshay Paul Gastin R. Govind B. Srivathsan

Published in: CoRR (2022)

Keyphrases

probabilistic automata
event detection
high speed
power consumption
numerical simulations
event driven
event recognition
simulation model
database