Timed hyperproperties.

Hsi-Ming Ho Ruoyu Zhou Timothy M. Jones

Published in: Inf. Comput. (2021)

Keyphrases

petri net
timed automata
discrete event
knowledge base
real time
xml documents
markov chain
temporal logic
simulation model
finite state machines