Repairing Timed Automata Clock Guards through Abstraction and Testing.

Étienne André Paolo Arcaini Angelo Gargantini Marco Radavelli

Published in: TAP@FM (2019)

Keyphrases

timed automata
model checking
reachability analysis
high speed
theorem prover
high level
power consumption
low cost
theorem proving
video sequences
test cases
decision theoretic planning
first order logic
query answering
information retrieval
relational databases
information systems