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

Publications for All Years (525 out of 525)

Distributed Prognostics based on Structural Model Decomposition
Matthew Daigle, Anibal Bregon, Indranil Roychoudhury
Published at: Journal Article: IEEE Transactions on Reliability
Date: 05/31/14
Property Differencing for Incremental Checking
Neha Rungta, Suzette Person, Guowei Yang, Sarfraz Khurshid
Published at: Conference: 36th ICSE 2014; Hyderabad, India
Date: 05/30/14
Dynamic Controllability and Dispatchability Relationships
Paul Morris
Published at: Conference: Eleventh International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming; Cork, Ireland
Date: 05/18/14
Model Checking Degrees of Belief in a System of Agents
Neha Rungta, Franco Raimondi, Giuseppe Primero
Published at: Conference: AAMAS 2014; Paris France
Date: 05/05/14
Using Reward Utility Based Impact Scores in Partitioning
Adrian Agogino, William Curran, Kagan Tumer
Published at: Conference: Autonomous Agents and Multiagent Systems: Paris, France
Date: 05/05/14
CLEANing the Reward: Counterfactual Actions to Remove Exploratory Action Noise in Multiagent Learning
Chris Holmes Parker, Mathew Taylor, Adrian Agogino, Kagan Tumer
Published at: Conference: 13th International Conference on Autonomous Agents and Multiagent Systems: Paris, France
Date: 05/05/14
Automated Testcase Generation for Numerical Support Functions in Embedded Systems
Johann Schumann, Stefan-Alexander Schnieder
Published at: Conference: NASA Formal Methods 2014; Houston, TX
Date: 04/08/14
BioSentinel: Enabling CubeSat-Scale Biogical Research Beyond Low Earth Orbit
Matthew Sorgenfrei, Brian Lewis
Published at: Conference: Interplanetary Small Satellite Conference: Pasadena, CA
Date: 04/08/14
Concurrent Bounded Model Checking
Corina Pasareanu, Quoc-Sang Phan, Pasquale Malacaria
Published at: Conference: TACAS 2014; Grenoble, France
Date: 04/05/14
Learning the Task Management Space of an Aircraft Approach Model
Joseph Krall, Tim Menzies, Misty Davies
Published at: Conference: Modeling in Human-Machine Systems: Challenges for Formal Verification; Palo Alto, CA
Date: 03/24/14
Wireless Space Plug-and-Play Archtecture (SPA-Z)
Richard Alena, John Ossenfort, Thom Stone, Jarren Baldwin
Published at: Conference: IEEE Aerospace Conference 2014; Big Sky, MT
Date: 03/01/14
Hererogeneous Spacecraft Networks: Wireless Network Technology Assessment
Richard Alena, Yosuke Nakamura, Nicolas Faber, David Mauro
Published at: Conference: IEEE Aerospace Conference 2014; Big Sky, MT
Date: 03/01/14
Application of Model-based Prognostics to a Pneumatic Valves Testbed
Matthew Daigle, Chetan Kulkarni, George Gorospe
Published at: Conference: 2013 IEEE Aerospace Conference; Big Sky, MT
Date: 03/01/14
A Battery Health Monitoring Framework for Planetary Rovers
Matthew Daigle, Chetan Kulkarni
Published at: Conference: 2014 IEEE Aerospace Conference; Big Sky, MT
Date: 03/01/14
Current Pressure Transducer Application of Model-Based Prognostics using Steady State Conditions
Christopher Teubert, Matthew Daigle
Published at: Conference: 2014 IEEE Aerospace Conference; Big Sky, MT
Date: 02/28/14


Filter by year

2014 2013 2012 2011 2010 2009 2008

Publications Search

Archive

2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

+NASA Home

+Ames Home

Intelligent Systems Division
First Gov logo
NASA Logo - nasa.gov