Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Steven Sell
SPHERES Flight Operations Testing and Execution
Acta Astronautica
Aerospace Engineering
Related publications
Experimental Flight Testing for Assessing the Safety of Unmanned Aircraft System Safety-Critical Operations
Automated Regression Testing Using Symbolic Execution
Elektronika ir Elektrotechnika
Electronic Engineering
Electrical
Testing TLS Using Combinatorial Methods and Execution Framework
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generalized Symbolic Execution for Model Checking and Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Human Flight to Lunar and Beyond - Re-Learning Operations Paradigms
Compliant Task Execution and Learning for Safe Mixed-Initiative Human-Robot Operations
SPHERES Tethered Formation Flight Testbed: Advancements in Enabling NASA's SPECS Mission
Evolution of Flight Operations for ESA's Gravity Mission GOCE
Optimizing Flight Operations for an Aircraft Carrier in Transit
Operations Research
Management Science
Computer Science Applications
Operations Research
