NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner

Publications for All Years (613 out of 613)

Human and Robotic Mission to Small Bodies: Mapping, Planning and Exploration
Ara Nefian, Julie Bellerose, Ross Beyer, Terry Fong, Brent Archinal, Laurence Edwards, Pascal Lee, Anthony Colaprete
Published at: NASA STI Report Series: TM–2013–216538
Date: 06/14/13
Work Practice Simulation of Complex Human-Automation Systems in Safety Critical Situations: The Brahms Generalized Überlingen Model
William Clancey, Charlotte Linde, ChinHua Seah, Michael Shafto
Published at: NASA STI Report Series: TP-2013-216508
Date: 06/01/13
Aviation Safety: Modeling and Analyzing complex Interactions between Humans and Automated Systems
Neha Rungta, Guillaume Brat, William Clancey, Charlotte Linde, Franco Raimondi
Published at: Conference: 3rd International Conference on Application and Theory of Automation in Command and Control Systems; Naples Italy
Date: 05/28/13
Reliability Analysis in Symbolic Pathfinder
Antonio Filieri, Corina Pasareanu, Willem Visser
Published at: International Conference on Software Engineering (ICSE); San Francisco, CA
Date: 05/18/13
Hierarchical Safety Cases
Ewen Denney, Ganeshmadhav Pai, Iain Whiteside
Published at: Conference: 5th NASA Formal Methods Symposium; NASA Ames Research Center, Moffett Field, CA
Date: 05/14/13
Combining Reward Shaping and Hierarchies for Scaling to Large Multiagent Systems
Chris Holmes Parker, Adrian Agogino, Kagan Tumer
Published at: Publication: Journal Article; Knowledge Engineering Review
Date: 05/09/13
Memoise: A Tool for Memoized Symbolic Execution
Guowei Yang, Sarfraz Khurshid, Corina Pasareanu
Published at: Conference: 35th International Conference on Software engineering (ICSE 2013); San Francisco, CA
Date: 05/08/13
Uncertanity Quanitification in Remaining Useful Life of Aerospace Components using State Space Models and Inverse FORM
Shankar Sankararaman, Kai Goebel
Published at: Conference: AIAA Non-Deterministic Approaches Conference; Boston, MA
Date: 04/08/13
Learning to Control Complex Tensegrity Robots
Atil Iscen, Adrian Agogino, Kagan Tumer
Published at: Conference: Twelfth International Conference on Autonomous Agents and Multiagent Systems (AAMAS): St. Paul MN
Date: 03/31/13
Failure Consequence Assessment System (FCAS) Experiment Summary and Lesson Learned
Lilijana Spirkovska, Gordon Aaseng, Vijayakumar Baskaran, Silvano Colombano, John Ossenfort
Published at: NASA STI Report Series: TM ~ 216507
Date: 03/30/13
Embedding Temporal Constraints For Coordinated Execution In Habitat Automation
Paul Morris, Mark Schwabacher, Michael Dalal, Charles Fry
Published at: Conference: 2013 International Workshop on Planning & Scheduling for Space: Moffett Field, CA
Date: 03/25/13
Anomaly Detection in Flight Recorder Data: A Dynamic Data-driven Approach
Santanu Das, Soumalya Sarkar, Asok Ray, Ashok Srivastava, Donald Simon
Published at: Other: Publication American Control Conference; Washington D.C
Date: 03/23/13
Polyglot: Systematic Analysis for Multiple Statechart Formalisms
Daniel Balasubramanian, Corina Pasareanu, Gabor Karsai, Michael Lowry
Published at: Conference: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS); Rome Italy
Date: 03/16/13
Advanced Caution and Warning System, Final Report -- 2011
Lilijana Spirkovska, Gordon Aaseng, David Iverson, Robert McCann, Peter Robinson
Published at: NASA STI Report Series: TM ~ 216510
Date: 03/15/13
Advanced Caution and Warning System, Final Report -- 2010
Lilijana Spirkovska, Peter Robinson, Sotirios Liolios, Charles Lee, John Ossenfort
Published at: NASA STI Report Series: TM ~ 216509
Date: 03/15/13

Filter by year

2016 2015 2014 2013 2012 2011 2010 2009 2008

Publications Search


2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

First Gov logo
NASA Logo -