Author: André Platzer

Author: André Platzer

This page shows all presentations of this author published in EasyChair Smart Slide.

Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs

Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs

Marvin Brieger, Stefan Mitsch and André Platzer

Towards Physical Hybrid Systems

Towards Physical Hybrid Systems

Katherine Cordwell and André Platzer

dLi: Definite Descriptions in Differential Dynamic Logic

dLi: Definite Descriptions in Differential Dynamic Logic

Brandon Bohrer, Manuel Fernandez and André Platzer

Uniform Substitution in One Fell Swoop

Uniform Substitution in One Fell Swoop

Safe reinforcement learning via formal methods

Safe reinforcement learning via formal methods

Differential Equation Axiomatization: The Impressive Power of Differential Ghosts

Differential Equation Axiomatization: The Impressive Power of Differential Ghosts

André Platzer and Yong Kiam Tan

Uniform Substitution for Differential Game Logic

Uniform Substitution for Differential Game Logic

A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow

A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow

Brandon Bohrer and André Platzer

Vector Barrier Certificates and Comparison Systems

Vector Barrier Certificates and Comparison Systems

Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan and André Platzer

Presentations in this collection: 9