Taxonomic Search: dan OR huttenlocher

Results 1 - 10 of 127

Results

file

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

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.

profile
page

Visible to the public Program Agenda - 2015 Big Data Workshop

Program Agenda
Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control

page

Visible to the public 2014 Adoption of Cybersecurity Technology Workshop Agenda

AGENDA  as of 2 March 2015

forum

Visible to the public News Articles about Wyvern

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.

profile
page

Visible to the public Project Artifacts

Lead PI Poster Title Poster Session Presenter Award Number Loc. Artifacts
Aaron Ames (Texas A&M) Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
profile