Taxonomic Search: Edmund M. Clarke
Autonomous transportation technologies must become robust along multiple dimensions before widespread public adoption. The following research challenges of cyber-physical systems must be overcome before autonomous vehicles become practical:
This research project addresses fundamental challenges in the verification and analysis of distributed hybrid systems. In particular, we are working to minimize the mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics currently supported in analysis.