activity
20192022
most citedInductive Synthesis of Finite-State Controllers for POMDPs

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.NEShow all

1 paper · 1 filter

cs.NE2020

Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits

Milan Ceska, Jiri Matyas, Vojtech Mrazek +3

We present a novel approach for designing complex approximate arithmetic circuits that trade correctness for power consumption and play important role in many energy-aware applicat…