Robots at the Edge of the Cloud
Abstract elided by the publisher.
Related papers
- Shiftry: RNN inference in 2KB of RAM OOPSLA 2020
- AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems CAV 2020
- Frob - Functional Robotics ICFP 1998
- Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP CAV 2011
- Automated Flaw Detection for Industrial Robot RESTful Service VMCAI 2025
- Model-driven engineering and run-time model-usage in service robotics GPCE 2011
- Formal foundations of 3D geometry to model robot manipulators CPP 2017
- Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations OOPSLA 2025