Seminars

Links' Seminars and Public Events Add to google calendar
Fri, November 23, 2018
11:00 am
12:30 pm
Add event to google
Filip Mazowiecki in Links' seminar
Title: Containment for Probabilistic automata.

Abstract: This is an ICALP 2018 paper. We analyze when the model of probabilistic
automata has decidable properties, when restricting the ambiguity. The
notion of ambiguity is usually used in weighted automata or transducers,
but we follow a recent paper by Fijalkow, Riveros and Worrell, which
introduced this approach. We do not solve everything but our decidability
results rely unexpectedly on Schanuel's conjecture and we provide some
geometric intuition behind the hardness of the problem.

Permanent link to this article: https://team.inria.fr/links/seminars/