André Platzer

Homepages 🌐

• https://www.cs.cmu.edu/~aplatzer/

E-Mails 📧

• ude.umc.sc@reztalpa

Entries

2022

A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL

by Katherine Kosaian, Yong Kiam Tan and André Platzer

Dec 15

2021

Verified Quadratic Virtual Substitution for Real Arithmetic

by Matias Scharager, Katherine Kosaian, Stefan Mitsch and André Platzer

Oct 02

The BKR Decision Procedure for Univariate Real Arithmetic

by Katherine Kosaian, Yong Kiam Tan and André Platzer

Apr 24

2019

Differential Game Logic

by André Platzer

Jun 03