COST Action IC1402 Runtime Verification Beyond Monitoring.

Christian Colombo Yliès Falcone Martin Leucker Giles Reger César Sánchez Gerardo Schneider Volker Stolz

Published in: RV (2018)

Keyphrases

real time
monitoring system
cost reduction
learning algorithm
reasoning about actions
expected cost
high cost
total cost
human actions
model checking
minimum cost
integrated circuit
face verification
plan execution
production cost
resource consumption
np hard
computer vision
false acceptance rate
action descriptions