A Calculus for Transportation Systems.

Moonkun Lee Jungrhan Choi

Published in: COMPSAC Workshops (2014)

Keyphrases

transportation systems
automated theorem proving
automated deduction
machine learning
genetic algorithm
theorem proving
provably correct
learning algorithm
query language
terrorist networks
database query languages