Probabilistic and Statistical Verification

Sampling-based solution methods for verifying random or chance properties.
file

Visible to the public CPS:Medium: Tightly Integrated Perception and Planning in Intelligent Robotics

Submitted by Mark Campbell on Sun, 08/08/2010 - 4:39pm. Contributors:

The objective of this research is to develop truly intelligent, automated driving through a new paradigm that tightly integrates probabilistic perception and deterministic planning in a formal, verifiable framework.