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
Staff and students |
Our research interests |
Maintained by webmaster@csc.liv.ac.uk