Advanced search

Authors whose works are in public domain in at least one jurisdiction

List of works by André Platzer

An axiomatic approach to existence and liveness for differential equations

scientific article published in 2021

Certifying the safe design of a virtual fixture control algorithm for a surgical robot

Complete Game Logic with Sabotage

scientific article published on 21 June 2024

Differential Equation Invariance Axiomatization

scientific article published in 2020

Does Every Computer Scientist Need to Know Formal Methods?

scientific article published on 10 June 2024

Structured Proofs for Adversarial Cyber-Physical Systems

scientific article published in 2021

Paulina is supported by:

About Paulina

Help