collaborators

1 paper

eess.SY2026

Control Synthesis against LTL Specifications with Long-Run Visit Proportion Objectives

Zhiyuan Huang, Zhao Tong, Jiakai Li +2

This paper investigates the path-planning problem for systems required to satisfy a linear temporal logic (LTL) specification while achieving a desired long-run visit proportion. F…