Fijalkow, Nathanaël http://orcid.org/0000-0002-6576-4680
Ohlmann, Pierre
Ouaknine, Joël
Pouly, Amaury
Worrell, James
Funding for this research was provided by:
Alan Turing Institute (EP/N510129/1)
European Research Council (648701)
Engineering and Physical Sciences Research Council (EP/N008197/1)
Article History
First Online: 26 February 2019