ObsSlice: A Timed Automata Slicer Based on Observers.

Víctor A. Braberman Diego Garbervetsky Alfredo Olivero

Published in: CAV (2004)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
human observers
real time systems
high quality
temporal logic
object recognition
user interface
image data
machine learning
computer vision
learning algorithm
information retrieval