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

Publications for All Years (716 out of 716)

Controlling Tenesgrity Robots through Evolution
Atil Iscen, Adrian Agogino, Vytas SunSpiral, Irem Tumer
Published at: Conference: Genetic and Evolutinary Algorithms Conference; Amsterdam, Holland, The Netherlands
Date: 07/11/14
Diagnosability-based Sensor Placement through Structural Model Decomposition
Matthew Daigle, Indranil Roychoudhury, Anibal Bregon
Published at: Conference: Second European Conference of the PHM society 2014; Nantes, France
Date: 07/08/14
IRIS Mission Operations Director's Colloquium
Robert Carvalho, Edward Mazmanian
Published at: Oral or Visual Presentation: Ames Director's Colloquium, Moffett Field, CA
Date: 06/19/14
SUPERball: Exploring Tensegrities for Planetary Probes
Jonathan Bruce, Andrew Sabelhaus, Yangxin Chen, Dizhou Lu, Kyle Morse, Sophie Milam, Ken Caluwaerts, Adrian Agogino, Vytas SunSpiral
Published at: Conference: 12th International Symposium on Artificial Intelligence, Robotics and Automation in Space - i-SAIRAS 2014; Montreal, Canada
Date: 06/17/14
Helping System Engineers Bridge the Peaks
Neha Rungta, Oksana Tkachuk, Jason Biatek, Michael Whalen, Joseph Castle, Karen Gundy-Burlet
Published at: Conference: Fourth International Workshop on the Twin Peaks of Requirements and Architecture; Hyderabad, India
Date: 06/01/14
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

Filter by year

2020 2019 2018 2017 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 -