This content is password protected. To view it please enter your password below: Password:
Tag: 2014 Seminars
09-26-2014 | Mariano Moscato: Dynamite: A Tool for the Verification of Alloy Models Based on PVS
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,…
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…