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

Publications for All Years (608 out of 608)

Evolutionary Agent-Based Simulation of the Introduction of New Technologies in Air Traffice Management
Logan Yliniemi, Adrian Agogino, Kagan Tumer
Published at: Conference: Genetic and Evolutionary Algorithms Conference; Vancouver, BC
Date: 07/12/14
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

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 -