13 citations · 46 across the 21 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
math.LO2015
On the o-minimal Hilbert's fifth problem
Mario J. Edmundo, Marcello Mamino, Luca Prelli +2
Let be an arbitrary o-minimal structure. Let be a definably compact definably connected abelian definable group of dimension . Here we compute the new the intr…
cs.GT2015
Strategy Recovery for Stochastic Mean Payoff Games
Marcello Mamino
We prove that to find optimal positional strategies for stochastic mean payoff games when the value of every state of the game is known, in general, is as hard as solving such game…
cs.CC2015
Tropically convex constraint satisfaction
Manuel Bodirsky, Marcello Mamino
A semilinear relation S is max-closed if it is preserved by taking the componentwise maximum. The constraint satisfaction problem for max-closed semilinear constraints is at least…