EasyChair Smart SlideUser guide
Author: Martin Fränzle

This page shows all presentations of this author published in EasyChair Smart Slide.

Synthesizing Update-Schedules with Game-Based Extension of Bounded Model Checking

Synthesizing Update-Schedules with Game-Based Extension of Bounded Model Checking

Janis Kröger, Paul Kröger and Martin Fränzle

Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations

Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations

Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle and Bai Xue

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair