Jonathan Julian Huerta y Munive

E-Mails 📧

• moc.liamg@32nailujnoj
• ku.ca.dleiffehs@1evinumyatreuhjj

Entries

2024

A Verified Proof Checker for Metric First-Order Temporal Logic

by Andrei Herasimau, Jonathan Julian Huerta y Munive, Leonardo Lima, Martin Raszyk and Dmitriy Traytel

Apr 16

2020

Matrices for ODEs

by Jonathan Julian Huerta y Munive

Apr 19

2019

Verification Components for Hybrid Systems

by Jonathan Julian Huerta y Munive

Sep 10