From Mtl to Deterministic Timed Automata.

Dejan Nickovic Nir Piterman

Published in: FORMATS (2010)

Keyphrases

timed automata
model checking
reachability analysis
multi task learning
theorem prover
theorem proving
first order logic
temporal logic
black box
multitask learning
multi task
inductive learning
expert systems
neural network
text categorization
training data
information retrieval