Inria
Inria.fr
Inria Channel
Séminaire : Contraintes
Quantitative Logics on Structure Rewriting Systems
- Date : 10/05/2012
- Place : Inria Rocquencourt, Amphi A. Turing, Bâtiment 1
- Guests : Lukasz Kaiser, LIAFA, Paris
- Organisers : Contraintes
Structure rewriting systems are infinite Kripke structures with metafinite relational structures assigned to each node. Transitions in the Kripke structure are used to model temporal changes, while the assigned finite structures model the state of the system at specific points in time. We will show how various systems can be modeled naturally in this way, and we will discuss which model-checking techniques can be applied in this setting. This leads to several decidability results for the quantitative mu-calculus on both purely discrete and hybrid structure rewriting systems.
Keywords: Séminaire Paris - Rocquencourt CONTRAINTES
Infos pratiques
- Horaire : 10h30 - 12h00
- Entrée libre
