Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning

Canadian Conference on AI, pp. 45-59, 2018.

Cited by: 8|Bibtex|Views4|Links
EI

Abstract:

Linear Temporal Logic ((mathsf {LTL})) synthesis can be understood as the problem of building a controller that defines a winning strategy, for a two-player game against the environment, where the objective is to satisfy a given (mathsf {LTL}) formula. It is an important problem with applications in software synthesis, including controlle...More

Code:

Data:

Your rating :
0

 

Tags
Comments