Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error.

von Ceska, Milan Jr.
Veröffentlicht in EUROCAST (17. : 2019 : Las Palmas de Gran Canaria) Computer aided systems theory - EUROCAST 2019 ; Part 1 (2020)

SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks

von Ceska, Milan
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Computational methods in systems biology : 16th international conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018 : proceedings

Veröffentlicht 2018

Hybrid systems biology : 6th international workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, revised selected papers

Veröffentlicht 2019

Abstraction-Based Segmental Simulation of Chemical Reaction Networks

von Helfrich, Martin
Veröffentlicht in CMSB (20. : 2022 : Bukarest) Computational methods in systems biology (2022)

Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits

von Ceska, Milan
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

Inductive Synthesis for Probabilistic Programs Reaches New Horizons

von Andriushchenko, Roman
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)

Inductive Synthesis of Finite-State Controllers for POMDPs

von Andriushchenko, Roman
Veröffentlicht in Conference on Uncertainty in Artificial Intelligence (38. : 2022 : Eindhoven) 38th Conference on Uncertainty in Artificial Intelligence (UAI 2022) ; Volume 1 of 3 (2023)

PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs

von Andriushchenko, Roman
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)