Selected Recent Conference Papers

N. Beneš, L. Brim, M. Demko, S. Pastva, D. Šafránek

PITHYA: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems

CAV 2017, Lecture Notes in Computer Science, vol 10426. Springer

J. Barnat, N. Beneš, L. Brim, M. Demko, M. Hajnal, S. Pastva, D. Šafránek

Detecting Attractors in Biological Models with Uncertain Parameters

CMSB 2017, Lecture Notes in Computer Science, vol 10545. Springer

N. Beneš, L. Brim, M. Demko, S. Pastva, D. Šafránek

A Model Checking Approach to Discrete Bifurcation Analysis

FM 2016, Lecture Notes in Computer Science, vol 9995. Springer

M. Češka, P. Pilař, N. Paoletti, L. Brim, M. Kwiatkowska

PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems

TACAS 2016, Lecture Notes in Computer Science, vol 9636. Springer

Top