Livia Lestingi

FormIDEAble achieves a groundbreaking balance between safety and social awareness in autonomous systems, demonstrating that formal guarantees can coexist with effective human-agent cooperation.

A roadmap for bridging the gap between academic techniques and practical applications in autonomous system engineering reveals both immediate solutions and pressing research needs.