Verifying Temporal Properties of Biological Systems
Aus International Center for Computational Logic
Verifying Temporal Properties of Biological Systems
Vortrag von Rafael Peñaloza Nyssen
- Veranstaltungsort: APB 3105
- Beginn: 2. Februar 2015 um 14:50
- Ende: 2. Februar 2015 um 15:50
- Forschungsgruppe: Wissensbasierte Systeme
- Event series: KBS Seminar
- iCal
Biological systems, seen as a collection of components interacting over time, are commonly modeled through interaction systems like cellular automata and Boolean networks. Once such a model is built, it is important to verify whether some desired temporal properties hold in it. In this talk we present a graph-based approach for verifying properties expressible in linear temporal logic that matches the lower complexity bounds of the problem. The talk will include some animations made with LaTeX.
