On the Uniqueness of Solution for the Bellman Equation of LTL Objectives.

Zetong Xuan Alper Kamil Bozkurt Miroslav Pajic Yu Wang

Published in: CoRR (2024)

Keyphrases

nonlinear equations
hamilton jacobi
linear equations
model checking
temporal logic
optimal solution
numerical methods
algebraic equations
conflicting objectives
boundary value problem
finite difference
numerical solution
closed form
mathematical model
sufficient conditions
multi objective
search algorithm