Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned.
Jan BaumeisterBernd FinkbeinerFlorian KohnFlorian LöhrGuido ManfrediSebastian SchirmerChristoph TorensPublished in: CAV (2) (2024)
Keyphrases
- lessons learned
- case study
- future directions
- activity monitoring
- unmanned aerial vehicles
- monitoring system
- path planning
- specification language
- real time
- data integration
- formal specification
- participatory design
- decision support
- design science
- grounded theory
- online learning
- trade off
- information integration
- formal verification
- learning environment
- high level