research
∙
02/15/2022
The Membership Problem for Hypergeometric Sequences with Rational Parameters
We investigate the Membership Problem for hypergeometric sequences: give...
share
research
∙
06/03/2021
On the Computation of the Algebraic Closure of Finitely Generated Groups of Matrices
We investigate the complexity of computing the Zariski closure of a fini...
research
∙
09/28/2020
Reachability in Dynamical Systems with Rounding
We consider reachability in dynamical systems with discrete linear updat...
research
∙
06/16/2020
On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems
We consider the decidability of state-to-state reachability in linear ti...
research
∙
07/18/2019
On the Monniaux Problem in Abstract Interpretation
The Monniaux Problem in abstract interpretation asks, roughly speaking, ...
research
∙
02/27/2019
Algebraic Invariants for Linear Hybrid Automata
We exhibit an algorithm to compute the strongest algebraic (or polynomia...
research
∙
05/14/2018
A Survey on Analog Models of Computation
We present a survey on analog models of computations. Analog can be unde...
research
∙
02/19/2018
On the Decidability of Reachability in Linear Time-Invariant Systems
We consider the decidability of state-to-state reachability in linear ti...
research
∙
02/06/2018
Polynomial Invariants for Affine Programs
We exhibit an algorithm to compute the strongest polynomial (or algebrai...
research
∙
01/09/2017