Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne.

Davide Bresolin Luca Geretti Tiziano Villa

Published in: OVERLAY@AI*IA (2019)

Keyphrases

automated verification
cyber physical systems
model checking
cyber physical
automated reasoning
formal verification
physical world
cyber security
graph theory
data mining
real time
graphical models
embedded systems