Katherine Kosaian

Homepages 🌐

• https://sites.google.com/view/katherinekosaian

E-Mails 📧

• ude.etatsai @naiasokk

Entries

2025

Mission-time Linear Temporal Logic to Regular Expressions

by Zili Wang 📧 and Katherine Kosaian 📧

Jan 24

Mission-time Linear Temporal Logic

by Katherine Kosaian 📧, Zili Wang 📧 and Elizabeth Sloan 📧

Jan 24

2024

Babai's Nearest Plane Algorithm

by Eric Ren 📧, Sage Binder 📧 and Katherine Kosaian 📧

Sep 26

Formalizing Coppersmith's Method

by Katherine Kosaian 📧 and Yong Kiam Tan 📧

Jun 10

Pick's Theorem

by Sage Binder 🌐 and Katherine Kosaian 🌐

Apr 26

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