Login / Signup
Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL.
Sven Linker
Published in:
IFM (2017)
Keyphrases
</>
theorem prover
traffic safety
natural deduction
spatial reasoning
spatial information
spatial data
traffic volume
spatio temporal
inference rules
theorem proving
traffic accidents
traffic management
space time
formal methods
low cost
geographic information systems
intrusion detection
artificial neural networks