Verifying Temporal Properties of Biological Systems
From International Center for Computational Logic
Verifying Temporal Properties of Biological Systems
Talk by Rafael Peñaloza Nyssen
- Location: APB 3105
- Start: 2. February 2015 at 2:50 pm
- End: 2. February 2015 at 3:50 pm
- Research group: Knowledge-Based Systems
- 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.
