This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Lukas Sekanina

A grouping.

Lukas Sekanina, Brno: evolutionary design of approximate circuits with formal error guarantees - verifiability-driven search, a survey of the field, and IP-piracy detection in approximate circuits.

3 references

ObfAx: Obfuscation and IP Piracy Detection in Approximate Circuits
Lukas Sekanina and others (2026) · Proceedings of the Great Lakes Symposium on VLSI 2026 (GLSVLSI 2026)
Evolutionary Algorithms in Approximate Computing: A Survey
Lukas Sekanina (2021) · Journal of Integrated Circuits and Systems
Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits
Milan Češka and others (2020) · Applied Soft Computing