On the uniqueness of solution for the Bellman equation of LTL objectives.

Zetong Xuan Alper Kamil Bozkurt Miroslav Pajic Yu Wang

Published in: L4DC (2024)

Keyphrases

mathematical model
real time
numerical methods
linear equations
fuzzy relation equations
knowledge base
sufficient conditions
model checking
closed form
solution space
boundary value problem
nonlinear equations
bounded model checking
deterministic automata