A Virtual Environment for Collaborative Engineering with Formal Verification.
Wolfgang HergetChristopher KraußAndreas NonnengartTorsten SpieldennerStefan WarwasIngo ZinnikusPublished in: ISPE CE (2013)
Keyphrases
- virtual environment
- formal verification
- multi user
- model checking
- synthetic characters
- virtual reality
- bounded model checking
- model checker
- virtual training
- virtual world
- physical environment
- automated verification
- symbolic model checking
- virtual learning environments
- computer graphics
- virtual characters
- collision detection
- collaborative learning
- software engineering
- real environment
- artificial intelligence
- virtual humans
- interaction model
- virtual space
- learning processes
- multi user virtual environments
- multi agent systems
- serious games
- daily life
- haptic feedback
- haptic interaction
- knowledge representation