Login / Signup
Ontology-based Railway Infrastructure Verification - Planning Benefits.
Michael Lodemann
Norbert Luttenberger
Published in:
KMIS (2010)
Keyphrases
</>
model checking
planning problems
support environment
real time
data collection
heuristic search
planning domains
face verification
formal verification
disaster recovery
database
blocks world
traffic management
planning process
motion planning
situation calculus
computing environments
building blocks
decision support