Search Results for author:
Found 4 papers, 0 papers with code
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
Trajectory planning is a critical process that enables autonomous systems to safely navigate complex environments.
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
The adoption of cyber-physical systems (CPS) is on the rise in complex physical environments, encompassing domains such as autonomous vehicles, the Internet of Things (IoT), and smart cities.
"Do it my way!": Impact of Customizations on Trust perceptions in Human-Robot Collaboration
Our findings indicate that increased levels of customization was associated with higher trust and comfort perceptions.
Model-based Reinforcement Learning from Signal Temporal Logic Specifications
In this paper, we propose expressing desired high-level robot behavior using a formal specification language known as Signal Temporal Logic (STL) as an alternative to reward/cost functions.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
