AI.info

Alessandro Abate

Explore Alessandro Abate on AI.info.

• Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions
• Zero-Shot Instruction Following in RL via Structured LTL Representations
• Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation