Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie08/db-code.php on line 107

Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie08/db-code.php on line 117
CiE 2008 - Regular Talk: - Safety Properties Verification for Pfaffian Dynamics
Computability in Europe 2008
Logic and Theory of Algorithms

Print current page  Print this page

Regular Talk:
Safety Properties Verification for Pfaffian Dynamics

Edit abstract data

THIS TALK HAS BEEN CANCELLED!!!
Author(s): Margarita Korovina and Nicolai Vorobjov

Abstract

In this paper we propose an algorithm for verification of safety properties of
Pfaffian dynamical  systems.
We also show that this algorithm has an elementary (doubly-exponential) upper
complexity bound.


websites: Arnold Beckmann
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /srv/www/htdocs-cs/cie08/conf-code.php on line 136
2008-05-30 Valid HTML 4.01! Valid CSS!