7 citations · 7 across the 9 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.DC2017
ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems
Andrei Sandler, Olga Tveretina
We present the ParaPlan tool which provides the reachability analysis of planar hybrid systems defined by differential inclusions (SPDI). It uses the parallelized and optimized ver…
cs.LO2017
Resolution Simulates Ordered Binary Decision Diagrams for Formulas in Conjunctive Normal Form
Olga Tveretina
A classical question of propositional logic is one of the shortest proof of a tautology. A related fundamental problem is to determine the relative efficiency of standard proof sys…