Publications for All Years (660 out of 660)
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
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
An Uncertainty Qantification Framework for Prognostics and Condition-Based Monitoring
Shankar Sankararaman,
Kai Goebel
Published at: Conference: AIAA SciTech Conference; National Harbor, MD
Date: 01/13/14
Prognostics
Kai Goebel,
George Vachtsevanos,
Marcos Orchard
Published at: Book Chapter: IVHM - Technology
Date: 12/18/13
A Semantic Basis for Proof Queries and Transformations
David Aspinall,
Ewen Denney,
Christoph Lueth
Published at: Conference: 19th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19); Stellenbosch, South Africa
Date: 12/15/13