EasyChair Smart SlideDocs/Log in
Conference: Highlights 2018 (Highlights of Logic, Games and Automata)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Observation synthesis for games with imperfect information

Observation synthesis for games with imperfect information

Nathan Lhote

Nonarchimedean Convex Programming and Its Relation to Mean-Payoff Games

Nonarchimedean Convex Programming and Its Relation to Mean-Payoff Games

Stéphane Gaubert

Efficient and Modular Coalgebraic Partition-Refinement

Efficient and Modular Coalgebraic Partition-Refinement

Thorsten Wißmann

Pumping lemmas for weighted automata

Pumping lemmas for weighted automata

Filip Mazowiecki

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