2 papers
cs.RO2026
Conditional Timed Partial Orders: An Expressive and Interpretable Framework for Robot Task Specification and Planning
Sebastian Escobar, Morteza Lahijanian
Timed Partial Orders (TPOs), originally proposed for workflows, provide an interpretable framework for robot task specification with planning algorithms based on mixed-integer line…
eess.SY2026
Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs
Chun-Wei Kong, Sebastian Escobar, Ibon Gracia +2
Due to their expressive power, neural networks (NNs) are promising templates for functional optimization problems, particularly for reach-avoid certificate generation for systems g…