LSV Seminar

The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Laurent Doyen and Stefan Göller.

The seminar is open to public and does not require any form of registration.

Next Seminar

Reasoning about concurrency with Petri nets and Dynamic Logic

Visit website for this news | Export event in iCalendar format

 Bruno Lopes
Date
Tuesday, May 22 2018 at 11:00AM
Place
Salle de Conférence (Pavillon des Jardins)
Speaker
Bruno Lopes (Universidade Federal Fluminense Brazil)

Petri nets are a widely used formalism to model parallel and concurrent systems with an intuitive graphical interpretation. Dynamic Logics are systems that can deal with the notion of systems execution. We discuss how to model systems with Petri nets and the usage of Petri-PDL*, a Dynamic Logic tailored to reason about Petri nets with some implemented tools.


Upcoming Seminars

Distribution-based objectives for Markov Decision Processes

Visit website for this news | Export event in iCalendar format

 Blaise Genest
Date
Tuesday, June 26 2018 at 11:00AM
Place
Salle de Conférence (Pavillon des Jardins)
Speaker
Blaise Genest (Irisa, Rennes)

Abstract: We consider distribution-based objectives for Markov Decision Processes (MDP). This class of objectives gives rise to an interesting trade-off between full and partial information. As in full observation, the strategy in the MDP can depend on the state of the system, but similar to partial information, the strategy needs to account for all the states at the same time. In this paper, we focus on two safety problems that arise naturally in this context, namely, existential and universal safety. Given an MDP A and a closed and convex polytope H of probability distributions over the states of A, the existential safety problem asks whether there exists some distribution ∆ in H and a strategy of A, such that starting from ∆ and repeatedly applying this strategy keeps the distribution forever in H. The universal safety problem asks whether for all distributions in H, there exists such a strategy of A which keeps the distribution forever in H. Further, we compare these results with existential and universal safety problems for Rabin’s probabilistic finite-state automata (PFA), the subclass of Partially Observable MDPs which have zero observation. Compared to MDPs, strategies of PFAs are not state dependent.

joint work with S. Akshay (IIT Bombay) and Nikhil Vyas (PhD student @ MIT).


TBA

Visit website for this news | Export event in iCalendar format

 Markus Lohrey
Date
Tuesday, July 24 2018 at 11:00AM
Place
Salle de Conférence (Pavillon des Jardins)
Speaker
Markus Lohrey (University of Siegen)

TBA


About LSV

Agenda

Export agenda in iCalendar format | Past seminars

Tue, May 22
Tue, Jun 26
Tue, Jul 24

Past seminars