Synthesis of Maximally Permissive Strategies for LTLf Specifications.

Shufang Zhu Giuseppe De Giacomo

Published in: IJCAI (2022)

Keyphrases

databases
computer vision
web pages
image processing
evolutionary algorithm
texture synthesis
formal specification