Temporal properties in automotive control software.

Tobias Sehnke Dieter Schwarzmann Matthias Schultalbers Rolf Ernst

Published in: RTNS (2017)

Keyphrases

temporal properties
control software
model checking
possibility theory
control system
formal methods
temporal logic
machine learning
neural network
bayesian networks
cooperative
reverse engineering