Verification Group

Current research projects involving members of the group include:

Automated Verification and Synthesis of Smart Factories, NSFC
Xiaowei Huang (2018-2020)
Future AI and Robotics Hub for Space (FAIR-SPACE), EPSRC
Michael Fisher, Clare Dixon, and Louise Dennis (2017-2020)
https://www.fairspacehub.org/
Robotics and Artificial Intelligence for Nuclear (RAIN), EPSRC
Michael Fisher, Clare Dixon, and Louise Dennis (2017-2021)
https://rainhub.org.uk/
UK Robotics and Artificial Intelligence Hub for Offshore Energy Asset Integrity Management, EPSRC
Michael Fisher (2017-2021)
https://orcahub.org/
Solving Parity Games in Theory and Practice, EPSRC
Sven Schewe, John Fearnley, and Dominik Wojtczak (2017-2021)
Science of Sensor System Software, EPSRC
Michael Fisher, Clare Dixon (2016-2020)
http://www.dcs.gla.ac.uk/research/S4/

Completed projects include:

Parametrised Verification and Control (PaVeCo) H2020 (EU)
Ernst Moritz Hahn and Sven Schewe (2017-2019)
Energy Efficient Control, EPSRC
Sven Schewe, Dominik Wojtczak (2015-2019)
UK Network on the Verification and Validation of Autonomous Systems, EPSRC
Michael Fisher (2015-2019)
https://vavas.org/
Verifiable Autonomy, EPSRC
Michael Fisher (2014-2019)
https://intranet.csc.liv.ac.uk/research/VA
iTract: Islands of Tractability in Ontology-Based Data Access, EPSCR
Frank Wolter, Andre Hernich, Boris Konev (2015-2018)
Trustworthy Robotics Assistants, EPSRC
Michael Fisher, Clare Dixon (2013-2016)
http://www.robosafe.org/
Reconfigurable Autonomy, EPSRC
Michael Fisher (2012-2016)
https://intranet.csc.liv.ac.uk/research/RAIS
Logical Difference for Ontology Versioning, EPSRC
Boris Konev, Frank Wolter (2010-2014)
Synthesis and Verification in Markov Game Structures, EPSRC
S Schewe, Dominik Wojtczak (2010-2013)
Verifying Interoperability Requirements in Pervasive Systems, EPSRC
Michael Fisher (2008-2013)
https://intranet.csc.liv.ac.uk/research/VPS
Trust metrics for SPKI/SDSI, EPSRC Fellowship
Dominik Wojtczak (2009-2012)
Analysis of Probabilistic Systems, Leverhulme Visiting Fellowship
Nathalie Bertrand (2011-2012)
Engineering Autonomous Space Software, EPSRC
Michael Fisher, Alexei Lisitsa (2008-2012)
https://intranet.csc.liv.ac.uk/research/EASS
Synthesising Permissive Monitors, Royal Society
S Schewe (2010-2011)

About the Verification Group