Formal Methods Seminar: DYNAMITE: A TOOL FOR THE VERIFICATION OF ALLOY MODELS BASED ON PVS Mariano Moscato, Postdoctoral Research Scholar, NIA September 26, 2014, 11:00 am, NASA Langley, Bldg 1220,…
Day: March 26, 2015
09-22-2014 | Nicholas Roy: Planning and Learning in Information Space for Autonomous Air Vehicles
Autonomy Incubator Seminar Series: PLANNING AND LEARNING IN INFORMATION SPACE FOR AUTONOMOUS AIR VEHICLES Dr. Nicholas Roy, Associate Professor in Dept. of Aeronautics and Astronautics, Massachusetts Institute of Technology September…
08-28-2014 | Jung-San Chen: Dynamics of a Spinning Structure Subjected to a Constant Pressure
DYNAMICS OF A SPINNING STRUCTURE SUBJECTED TO A CONSTANT PRESSURE Jung-San Chen, Visiting Researcher, National Cheng Kung University August 28, 2014, 2:40 pm, NIA, Rm 141 Hosts: Lucas Horta (NASA…