Slides

• This afternoon's programme (50KB)
• MCMAS & PRISM (1.5MB)
• Formal verification of small and micro UAS (1.8MB)
• Runtime verification (473KB)
• Pursuit-Evasion Strategies by Model Checking (2.1MB)

Schedule

Tuesday, 1 December 2015 (afternoon)

Biography

Sandor M Veres is a professor of Autonomous Control Systems at the Department of Automatic Control and Systems Engineering at the University of Sheffield. He director of the Autonomous Systems and Robotics Research Group within the Department, and an executive group member of Sheffield Robotics. Between 2002 and 2012 he was professor of control systems at Southampton University, School of Engineering Sciences. His main current interests are in software architectures for intelligent machines, reconfigurable autonomy, distributed sensing, control and decision making and also verifiable, certifiable autonomy. He has published 4 books and over 200 refereed papers on a variety of topics in control sciences.