Login / Signup
Zetong Xuan
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Model Checking
Nonlinear Equations
Sufficient Conditions
Hamilton Jacobi
Top Venues
L4DC
CoRR
</>
Publications
</>
Zetong Xuan
,
Alper Kamil Bozkurt
,
Miroslav Pajic
,
Yu Wang
On the Uniqueness of Solution for the Bellman Equation of LTL Objectives.
CoRR
(2024)
Zetong Xuan
,
Alper Kamil Bozkurt
,
Miroslav Pajic
,
Yu Wang
On the uniqueness of solution for the Bellman equation of LTL objectives.
L4DC
(2024)