Jana Drazanová

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

First Order Logic

Probabilistic Model

Top Venues

Publications

Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. HSCC (2019)