First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402.

Christian Colombo Yliès Falcone

Published in: RV (2016)

Keyphrases

summer school
computer science
lecture notes
high cost
model checking
cost reduction
world wide
verification method
machine learning
artificial intelligence
level set
temporal logic
minimum cost
expected cost
theoretical and practical aspects