DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Vandi Verma
Vandi Verma
Refactoring the Curiosity Rover's Sample Handling Architecture on Mars
(PLEXIL) for Executable Plans and Command Sequences”, International Symposium on Artificial Intelligence, Robotics and Automation in Space (Isairas), 2005
Real-Time Fault Detection and Situational Awareness for Rovers: Report on the Mars Technology Program Task
Enabling and Enhancing Astrophysical Observations with Autonomous Systems
Intelligence for Space Robotics
Survey of Command Execution Systems for NASA Spacecraft and Robots
Ad Astra Academy: Using Space Exploration to Promote Student Learning and Motivation in the City of God, Rio De Janeiro, Brazil
Development of Autonomous Actions to Enable the Next Decade of Ocean World Exploration
Hyde-A General Purpose Framework For
2020 Mars Society Convention Schedule
Autonomous Science Restart for the Planned Europa Mission with Lightweight Planning and Execution
Ssim: NASA Mars Rover Robotics Flight Software Simulation
So You Passed an Earned Value Management Government Validation - Now What?
Plan Execution Interchange Language (Plexil) for Executable Plans and Command Sequences
A Procedure Representation Language for Human Spaceflight Operations
Preliminary Materials
Girls Who Code Learn the JPL Language Computer Literacy Program Brings High Schoolers to Lab for Talks on Topics from Admissions to Skycranes
TECHNOLOGY for AUTONOMOUS SPACE SYSTEMS Ashley W
Top View
Plan Execution Interchange Language (PLEXIL)
Demonstration of Robust Execution on a NASA Lunar Rover Testbed
Executable Semantics for PLEXIL: Simulating a Task-Scheduling Language in Haskell
The Space Roboticist
Second Experiments in the Robotic Investigation of Life in the Atacama Desert of Chile
Prototyping an Onboard Scheduler for the Mars 2020 Rover
Survey of Command Execution Systems