Verification Group

Current research projects involving members of the group include:

• Games for Good, EPSRC
  Patrick Totzke, Sven Schewe, Qiyi Tang (2023-2026)
• TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development, EPSRC
  Sven Schewe, Dominik Wojtczak (2023-2026)
• Below the Branches of Universal Trees, EPSRC
  Sven Schewe, Dominik Wojtczak, Daniele Dell'Erba, Patrick Totzke (2023-2024)
• Reinforcement Learning for Finite Horizons, Marie Sklodowska Curie Fellowship
  Yong Li, Sven Schewe (2022-2024)
• Digital navigation of chemical space for function, EPSRC
  Sven Schewe, Katie Atkinson (2021-2026)
• COSTRA -- The Cost of Winning Strategies, EPSRC
  Patrick Totzke (2021-2024)
• EnnCore: End-to-End Conceptual Guarding of Neural Architectures, EPSRC
  Xiaowei Huang (2021-2024)

Completed projects include:

• Synthesising Game Solving Techniques, Horizon 2020
  Sven Schewe, Daniele Dell'Erbe (2021-2023)
• Foundations for Continuous Engineering of Trustworthy Autonomy, Horizon 2020
  Xiaowei Huang, Sven Schewe, Qiyi Tang (2020-2023)
• ORCA Hub Extension, EPSRC
  Xiaowei Huang (2021-2022)
• Bluffing Games, Royal Society
  Dominik Wojtczak, Dominik Wojtczak (2020-2022)
• Foundations of Composition, Marie Sklodowska Curie Fellowship
  Karoliina Lehtinen, Sven Schewe (2020-2022)
• Automated Verification and Synthesis of Smart Factories, NSFC
  Xiaowei Huang (2018-2020)
• 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)
• Future AI and Robotics Hub for Space (FAIR-SPACE), EPSRC
  Michael Fisher, Clare Dixon, and Louise Dennis (2017-2020)
  https://www.fairspacehub.org/
• Parametrised Verification and Control (PaVeCo) H2020 (EU)
  Ernst Moritz Hahn and Sven Schewe (2017-2019)
• Science of Sensor System Software, EPSRC
  Michael Fisher, Clare Dixon (2016-2020)
  http://www.dcs.gla.ac.uk/research/S4/
• 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/
• iTract: Islands of Tractability in Ontology-Based Data Access, EPSCR
  Frank Wolter, Andre Hernich, Boris Konev (2015-2018)
• Verifiable Autonomy, EPSRC
  Michael Fisher (2014-2019)
  https://intranet.csc.liv.ac.uk/research/VA
• 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