120
click to vote
VMCAI
2016
Springer
10 years 12 days ago
2016
Springer
This paper presents a method for generating semi-algebraic invariants for systems governed by non-linear polynomial ordinary differential equations under semi-algebraic evolution c...
110
click to vote
VMCAI
2016
Springer
10 years 12 days ago
2016
Springer
We present the first study of robustness of systems that are both timed as well as reactive (I/O). We study the behavior of such timed I/O systems in the presence of uncertain inp...
112
click to vote
VMCAI
2016
Springer
10 years 12 days ago
2016
Springer
Almost all applications of SAT solvers generate Boolean formulae from higher level expression graphs by encoding the semantics of each operation or relation into propositional logi...
