Automated Predicate Abstraction for Real-Time Models

Bahareh Badban Stefan Leue Jan-Georg Smaus

Published in: INFINITY (2009)

Keyphrases

real time
prior knowledge
probabilistic model
complex systems
real world
high level
fully automated
mobile robot
automated tools
real time systems
semi automated
mathematical models
statistical models
hidden markov models
knowledge base
information systems
databases