For further related works, see here.

Number/author(s)/details

• UU-PCS-2022-01
  Validating non-trivial semantic properties of autonomous robots
  • J. Wiedermann, J. van Leeuwen
  • pdf

• UU-PCS-2021-02
  Impossibility results for the online verification of ethical and legal behaviour of robots
  • J. van Leeuwen, J. Wiedermann
  • pdf

• UU-PCS-2021-01
  Autonomous vehicles that cooperate and understand: Intelligent algorithms under the hood
  • J. Wiedermann, J. van Leeuwen
  • pdf

• UU-PCS-2020-02
  Towards minimally conscious cyber-physical systems: A design philosophy
  • J. Wiedermann, J. van Leeuwen
  • pdf
  • Extended version of UU-PCS-2020-01

• UU-PCS-2020-01
  Towards minimally conscious finite-state controlled cyber-physical systems: A manifesto
  • J. Wiedermann, J. van Leeuwen
  • pdf
  • In proceedings SOFSEM 2021: pdf

• UU-CS-2019-12
  Understanding computation: a general theory of computational processes
  • J. van Leeuwen, J. Wiedermann
  • pdf.
  • Last report of UU-CS Technical Reports series.