Publications for All Years (649 out of 649)
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Christopher Teubert, Matthew Daigle
Published at: Conference: 2014 IEEE Aerospace Conference; Big Sky, MT
Date: 02/28/14
Physics Based Model for Cryogenic Chilldown and Loading. Part I: Algorithm
Dmitry Luchinsky, Vadim Smelyanskiy, Barbara Brown
Published at: NASA STI Report Series: TP
Date: 02/27/14
Dmitry Luchinsky, Vadim Smelyanskiy, Barbara Brown
Published at: NASA STI Report Series: TP
Date: 02/27/14
- NASA Official: Sonie Lau
- Curator: ASANI Solutions