Formal Methods and Tools

UTFacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsNewsAAAI distinguished paper award won by Marielle Stoelinga for groundbreaking results on provably correct control algorithms

AAAI distinguished paper award won by Marielle Stoelinga for groundbreaking results on provably correct control algorithms

Previous article Next article

Thursday 3 March 2022

More recent news

Suggestions