11 citations · 25 across the 10 of their papers we have counts for
3 papers · 1 filter
Designing Approximate Arithmetic Circuits with Combined Error Constraints
Milan Češka, Jiří Matyáš, Vojtech Mrazek +1
Approximate circuits trading the power consumption for the quality of results play a key role in the development of energy-aware systems. Designing complex approximate circuits is,…
Abstraction-Based Segmental Simulation of Chemical Reaction Networks
Martin Helfrich, Milan Češka, Jan Křetínský +1
Simulating chemical reaction networks is often computationally demanding, in particular due to stiffness. We propose a novel simulation scheme where long runs are not simulated as…
Inductive Synthesis of Finite-State Controllers for POMDPs
Roman Andriushchenko, Milan Ceska, Sebastian Junges +1
We present a novel learning framework to obtain finite-state controllers (FSCs) for partially observable Markov decision processes and illustrate its applicability for indefinite-h…