Simulation-Based Debugging of Formal Environment Models.

Tim Meywerk Arthur Niedzwiecki Vladimir Herdt Rolf Drechsler

Published in: MED (2022)

Keyphrases

complex environments
data mining
real time
neural network
three dimensional
artificial neural networks
mobile robot
statistical model
statistical models
mathematical models
databases
genetic algorithm
dynamic environments
parameter estimation
experimental data
requirements specification