Login / Signup
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