A Parity Game Tale of Two Counters

Autor: Tom van Dijk

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 305, Iss Proc. GandALF 2019, Pp 107-122 (2019)

Parity games are simple infinite games played on finite graphs with a winning condition that is expressive enough to capture nested least and greatest fixpoints. Through their tight relationship to the modal mu-calculus, they are used in practice for

Externí odkaz: https://doaj.org/article/3e4a670e15254cf5b8ec73b69072ddad

A Tailless Flapping Wing MAV Performing Monocular Visual Servoing Tasks

Autor: Kirk Y. W. Scheper, Tom van Dijk, Diana Olejnik, Matej Karasek, Bardienus Pieter Duisterhof, Guido C. H. E. de Croon

Publikováno v: Unmanned Systems. :287-294

In the field of robotics, a major challenge is achieving high levels of autonomy with small vehicles that have limited mass and power budgets. The main motivation for designing such small vehicles is that compared to their larger counterparts, they h

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0bd375a6dbde2e7a207b152c16d1dfc3
https://doi.org/10.1142/s2301385020500235

Multi-core symbolic bisimulation minimisation

Autor: Jaco van de Pol, Tom van Dijk

Publikováno v: International journal on software tools for technology transfer, 20(2), 157-177. Springer

We introduce parallel symbolic algorithms for bisimulation minimisation, to combat the combinatorial state space explosion along three different paths. Bisimulation minimisation reduces a transition system to the smallest system with equivalent behav

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ce6504f746d439a1b52e2f465d46627e
https://doi.org/10.1007/s10009-017-0468-z

Presentation of the 9th Edition of the Model Checking Contest

Autor: Lom Messan Hillah, Fabrice Kordon, Silvano Dal Zilio, Bernard Berthomieu, Jeroen Meijer, Loïg Jezequel, Andrew S. Miner, Peter Gjøl Jensen, Didier Le Botlan, Gianfranco Ciardo, Elvio Gilberto Amparore, Tom van Dijk, Yann Thierry-Mieg, Torsten Liebke, Francis Hulin-Hubard, Karsten Wolf, Emmanuel Paviot-Adet, Jiří Srba, Francesco Gallà

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030175016
TACAS (3)
Amparore, E, Berthomieu, B, Ciardo, G, Dal Zilio, S, Gallà, F, Hillah, L M, Hulin-Hubard, F, Jensen, P G, Jezequel, L, Kordon, F, Le Botlan, D, Liebke, T, Meijer, J, Miner, A, Paviot-Adet, E, Srba, J, Thierry-Mieg, Y, van Dijk, T & Wolf, K 2019, Presentation of the 9th Edition of the Model Checking Contest . in F Kordon, M Huisman, B Steffen & D Beyer (eds), International Conference on Tools and Algorithms for the Construction and Analysis of Systems : TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems . Springer, Lecture Notes in Computer Science, vol. 11429, pp. 50-68, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 06/04/2019 . https://doi.org/10.1007/978-3-030-17502-3_4
Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, 50-68
STARTPAGE=50;ENDPAGE=68;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS

International audience; The Model Checking Contest (MCC) is an annual competition of software tools for model checking. Tools must process an increasing benchmark gathered from the whole community and may participate in various examinations: state sp

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::83d20bac4d677364c4f761e84dd91386
https://hal.sorbonne-universite.fr/hal-02094047

How do neural networks see depth in single images?

Autor: Tom van Dijk, Guido C. H. E. de Croon

Publikováno v: ICCV
Proceedings-2019 International Conference on Computer Vision, ICCV 2019

Deep neural networks have lead to a breakthrough in depth estimation from single images. Recent work often focuses on the accuracy of the depth map, where an evaluation on a publicly available test set such as the KITTI vision benchmark is often the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64b743f49637bcf7718a2951b730dbcc