VMCAI
2016
Springer
8 years 7 months 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...
VMCAI
2016
Springer
8 years 7 months 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...