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