Research Blog

  1. Residual probabilistic automata are not closed under convex sums

    Just a quick counterexample.

  2. Separation and Renaming in Nominal Sets

    Some notes on our paper "Separation and renaming in Nominal Sets."

  3. PD is not a monad. So What‽

    What does it really mean when something is not a monad, and should we care? Specifically, I will look at nondeterminism and probabilistic choice.

  4. Gradient Descent on pWFAs

    Solving the parameter synthesis problem with a gradient descent. Or; computing the derivative of a parametric weighted automaton.

  5. L* Learning of pWFAs

    In my previous post, I defined parametric weighted automata, which are WFAs where we allow parameters on transitions. Can we use L* to learn the structure of these automata?

  6. Parametric Weighted Automata

    I moved to Aachen for a post-doc on probabilistic programs. This means that I am learning about new, exciting topics. I will collect notes on this blog, as they may be useful to others. One of the research lines here is that of parametric Markov chains. This post shows how to use weighted automata in this context.

  7. Why is learning so effective in software testing?

    The Communications of ACM recently published an article on automata learning in software engineering. The techniques described in the article are used to obtain models for the behaviour of software. Even without access to source code, one can now use model checking or other bug finding tools on these models. The article shows many successful applications. Why is this possible at all?

  8. Other Posts

  9. My Raspberry Pi setup

    A quickstart for headless Raspbian setup with shairport and WiFi.

  10. Gravity Beats multi-user experience!

    Yesterday there was Sound of Science, an cultural event at the Radboud University in Nijmegen. People from the event asked me to present my app Gravity Beats there, because it is about sound and a bit about gravity ;-). Instead of just showing my iPad app, I wanted something more, so I created a collaborative version in which multiple users could draw the lines.

  11. One game a month (update)

    It involved procedurally generated planets, cows (with home-made sound) and explosions!

  12. Gravity Beats now in appstore!

    The app I made in the last two months has been approved by Apple. So you finally can play around with it on your own iPad; get it from the Appstore!

  13. One game a month

    This year something cool; every month we will release a game (or something which looks like a game), together with Astrant.

  14. Zen Zoom released!

    I just released a new app; Get it on the Appstore. It is a gimmick drawing app, based on some fancy OpenGL shaders I created for the desktop.