C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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