Martin Raszyk

E-Mails 📧

• hc.zhte.fni @kyzsar.nitram
• moc.liamg @kyzsar.m

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

2022

Making Arbitrary Relational Calculus Queries Safe-Range

by Martin Raszyk 📧 and Dmitriy Traytel 🌐

Sep 28

First-Order Query Evaluation

by Martin Raszyk 📧

Feb 15

Multi-Head Monitoring of Metric Dynamic Logic

by Martin Raszyk 📧

Feb 13

2020

Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations

by Thibault Dardinier, Lukas Heimes, Martin Raszyk 📧, Joshua Schneider 📧 and Dmitriy Traytel 🌐

Apr 09