4 search results - page 1 / 1 » Notes on Triangular Sets and Triangulation-Decomposition Alg... |
SNSC
2001
Springer
13 years 10 months ago
2001
Springer
SNSC
2001
Springer
13 years 10 months ago
2001
Springer
CASC
2007
Springer
13 years 11 months ago
2007
Springer
We introduce the concept of comprehensive triangular decomposition (CTD) for a parametric polynomial system F with coefficients in a field. In broad words, this is a finite part...
TACAS
2007
Springer
13 years 11 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...