Finite LTL Synthesis with Environment Assumptions and Quality Measures.

Alberto Camacho Meghyn Bienvenu Sheila A. McIlraith

Published in: KR (2018)

Keyphrases

quality measures
linear temporal logic
mobile robot
similarity measure
model checking
perceptual quality
bounded model checking
multimedia
semi supervised
image quality
precision and recall
temporal logic