Login / Signup
Ultimate Automizer with Two-track Proofs - (Competition Contribution).
Matthias Heizmann
Daniel Dietsch
Marius Greitschus
Jan Leike
Betim Musa
Claus Schätzle
Andreas Podelski
Published in:
TACAS (2016)
Keyphrases
</>
car racing
theorem prover
real time
data sets
digital libraries
theorem proving
real time tracking
formal proofs
equational theories
mathematical proofs
multiscale
relational databases
artificial neural networks
cluttered environments