ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems.
Tobias DürschmidChristopher Steven TimperleyDavid GarlanClaire Le GouesPublished in: ICSE (2024)
Keyphrases
- complex systems
- physical systems
- statistical models
- computer vision
- real time
- biological systems
- machine learning
- learning systems
- management system
- distributed systems
- probabilistic model
- computational models
- information systems
- abstraction levels
- artificial intelligence
- markov random field
- information retrieval
- process model
- statistical model
- experimental data
- decision making
- software components
- mathematical models
- trading systems