HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment.
Olivier BouissouEric GoubaultSylvie PutotKarim TekkalFranck VédrinePublished in: CAV (2009)
Keyphrases
- programming environment
- mobile robot
- real time
- environmental conditions
- machine learning
- complex environments
- qualitative and quantitative
- programming language
- indoor environments
- robotic systems
- autonomous agents
- dynamic environments
- decision making
- information systems
- expert systems
- data analysis
- multiscale
- three dimensional
- website
- image processing