Counterexample-Based Error Localization of Behavior Models.

Tsutomu Kumazawa Tetsuo Tamai

Published in: NASA Formal Methods (2011)

Keyphrases

probabilistic model
statistical models
experimental data
decision making
parameter estimation
complex systems
real time
neural network
information systems
object detection
error rate
mathematical models
physical systems
behavioral models