SAVE: An Environment for Visual Specification and Verification of IoT.
Yeongbok ChoeSunghyeon LeeMoonkun LeePublished in: EDOC Workshops (2016)
Keyphrases
- landmark recognition
- high level
- management system
- autonomous agents
- real time
- formal methods
- visual features
- programming language
- visual information
- complex environments
- object recognition
- formal verification
- database
- path planning
- computing environments
- reactive systems
- visual environment
- requirements specification