output
20062025
most citedDenoising IMU Gyroscopes with Deep Learning for Open-Loop Attitude Estimation

152 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

2 papers · 1 filter

cs.LO2018★ 1 cited

On Computing the Measures of First-Order Definable Sets of Trees

Marcin Przybyłko

We consider the problem of computing the measure of a regular language of infinite binary trees. While the general case remains unsolved, we show that the measure of a language def…

cs.LO2014

Tree games with regular objectives

Marcin Przybyłko

We study tree games developed recently by Matteo Mio as a game interpretation of the probabilistic -calculus. With expressive power comes complexity. Mio showed that tree games…