Taxonomic Search: dan OR huttenlocher
Results 1 - 10 of 127
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.
National Science Foundation - Fifth Annual Cyber-Physical Systems Principal Investigators' Meeting (2014)
Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control
AGENDA as of 2 March 2015
This thread is about new articles about the Wyvern project. Wyvern is a new programming language designed to help developers be highly productive when writing high-assurance applications.The Wyvern project is supported by the National Security Agency lablet at Carnegie Mellon University.
||Poster Session Presenter
|Aaron Ames (Texas A&M)
||Correct-by-Design Control Software Synthesis for Highly Dynamic Systems|