EasyChair Smart SlideDocs/Log in
Author: Ichiro Hasuo

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

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games

Kittiphon Phalakarn, Toru Takisaka, Thomas Haas and Ichiro Hasuo

Bisimulation Games Played in Fibered Categories

Bisimulation Games Played in Fibered Categories

Ichiro Hasuo

Symbolic Monitoring against Specifications Parametric in Time and Data

Symbolic Monitoring against Specifications Parametric in Time and Data

Masaki Waga, Étienne André and Ichiro Hasuo

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair