Lana: An Approach to Programming Autonomous Systems
No abstract available.
Related papers
- Forward Reachability Computation for Autonomous Max-Plus-Linear Systems TACAS 2014
- RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft CAV 2020
- Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios OOPSLA 2026
- Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study CAV 2023
- Programming support for autonomizing software PLDI 2019
- Communication Mechanism on Autonomous Objects OOPSLA 1992
- Middleware object query processing with deferred updates and autonomous sources OOPSLA 2000
- Dynamic adaptation to available resources for parallel computing in an autonomous network of workstations PPoPP 2001