Mathias Ruggaard Pedersen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Antonis Achilleos
9 publications

research

∙ 04/29/2021

Axiomatizations and Computability of Weighted Monadic Second-Order Logic

Weighted monadic second-order logic is a weighted extension of monadic s...

0 Antonis Achilleos, et al. ∙

research

∙ 05/21/2019

Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects

Computer systems can be found everywhere: in space, in our homes, in our...

0 Mathias Ruggaard Pedersen, et al. ∙