Frob - Functional Robotics
Abstract
No abstract available.
DOI 10.1145/289423.289475
Related papers
- A probabilistic language based upon sampling functions POPL 2005
- A probabilistic language based on sampling functions TOPLAS 2008
- Automatic code generation in practice: experiences with embedded robot controllers GPCE 2016
- High-level mission specification for multiple robots SLE 2019
- Koord: a language for programming and verifying distributed robotics application OOPSLA 2020
- Can guided decomposition help end-users write larger block-based programs? a mobile robot experiment OOPSLA 2022
- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation CAV 2022
- Robots at the Edge of the Cloud TACAS 2016