Deciding Reachability for 3-Dimensional Multi-Linear Systems

by Olga Tveretina, Daniel Funke
Published 2011-06-01

ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems

by Andrei Sandler, Olga Tveretina
Published 2017-09-01

Configuring Cloud-Service Interfaces Using Flow Inheritance

by Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko
Published 2016-10-01

An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas

by Olga Tveretina, Carsten Sinz, Hans Zantema
Published 2009-09-01