2 citations · 2 across the 5 of their papers we have counts for
5 papers
Expressive Power of WSTL Formulas for Learning to Rank
Ruya Karagulle, Gustavo A. Cardona, Necmiye Ozay +1
Weighted Signal Temporal Logic (WSTL) is increasingly used as a scoring function in learning-to-rank problems of trajectories with safety guarantees, where its weighted quantitativ…
Toward Seamless Physical Human-Humanoid Interaction: Insights from Control, Intent, and Modeling with a Vision for What Comes Next
Gustavo A. Cardona, Shubham S. Kumbhar, Panagiotis Artemiadis
Physical Human-Humanoid Interaction (pHHI) is a rapidly advancing field with significant implications for deploying robots in unstructured, human-centric environments. In this revi…
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
Gustavo A. Cardona, Kaier Liang, Cristian-Ioan Vasile
This paper presents an iterative approach for heterogeneous multi-agent route planning in environments with unknown resource distributions. We focus on a team of robots with divers…
Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
Kaier Liang, Gustavo A. Cardona, Disha Kamale +1
This paper presents a novel framework for inferring timed temporal logic properties from data. The dataset comprises pairs of finite-time system traces and corresponding labels, de…
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo
Gustavo A. Cardona, Kevin Leahy, Makai Mann +1
Temporal logic is an important tool for specifying complex behaviors of systems. It can be used to define properties for verification and monitoring, as well as goals for synthesis…