Urgent Partial Order Reduction for Extended Timed Automata.

Kim G. Larsen Marius Mikucionis Marco Muñiz Jirí Srba

Published in: ATVA (2020)

Keyphrases

model checking
timed automata
partial order reduction
temporal logic
reachability analysis
petri net
website
data sets
information retrieval
objective function
support vector
search algorithm
computational complexity
special case
theorem proving