Finite LTL Synthesis with Environment Assumptions and Quality Measures.

Alberto Camacho Meghyn Bienvenu Sheila A. McIlraith

Published in: CoRR (2018)

Keyphrases

quality measures
perceptual quality
mobile robot
co occurrence
finite automata
linear temporal logic
information retrieval
digital libraries
temporal logic
deterministic automata