2 papers
cs.RO2026
EvoPlan: Evolutionary Neuro-Symbolic Robot Planning with Spatio-Temporal Guarantees
Bhavya Sai Nukapotula, Samin Moosavi, Haoze Wang +4
LLM-based robot planners are fluent but cannot guarantee that their plans are executable or safe. Classical PDDL planners can guarantee these properties, but only after the problem…
eess.SP2025
A Dynamic Watermarking Technique for Matching Communication Addresses with Cars in a Visual Field
Woo-Hyun Ko, Jaewon Kim, Tzu-Hsiang Lin +2
We consider a problem faced by an intelligent roadside unit (RSU) monitoring a roadway by a video camera. Suppose the RSU notices that a particular car in its visual field needs to…