E-LIB Suche - Ergebnisse für: Dijk, Tom van

1

The Worst-Case Complexity of Symmetric Strategy Improvement:

van Dijk, Tom ; Loho, Georg ; Maat, Matthew T
Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). , 2024

Link: https://doi.org/10.4230/..

2

The Worst-Case Complexity of Symmetric Strategy Improvement:

van Dijk, Tom ; Loho, Georg ; Maat, Matthew
http://arxiv.org/abs/2309.02223. , 2023

Link: http://arxiv.org/abs/230..

3

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021:

Jacobs, Swen ; Perez, Guillermo A ; Abraham, Remco...
http://arxiv.org/abs/2206.00251. , 2022

Link: http://arxiv.org/abs/220..

4

Self-Supervised Monocular Depth Estimation of Untextured In..:

Keltjens, Benjamin ; van Dijk, Tom ; de Croon, Guido
https://doi.org/10.34894/KIBWFC. , 2021

Link: https://doi.org/10.34894..

5

Self-Supervised Monocular Depth Estimation of Untextured In..:

Keltjens, Benjamin ; van Dijk, Tom ; de Croon, Guido
http://arxiv.org/abs/2106.12958. , 2021

Link: http://arxiv.org/abs/210..

6

Hear-and-Avoid: Acoustic Detection of General Aviation Airc..:

Wijnker, Dirk ; van Dijk, Tom ; Snellen, Mirjam..
https://doi.org/10.34894/ARULTD. , 2020

Link: https://doi.org/10.34894..

7

Symbolic Parity Game Solvers that Yield Winning Strategies:

Lijzenga, Oebele ; van Dijk, Tom
http://arxiv.org/abs/2009.10876. , 2020

Link: http://arxiv.org/abs/200..

8

Presentation of the 9th Edition of the Model Checking Conte..:

Amparore, Elvio ; Berthomieu, Bernard ; Ciardo, Gianfranco...
https://vbn.aau.dk/da/publications/87aaab98-d00a-45ec-b109-393e2856d232. , 2019

Link: https://vbn.aau.dk/da/pu..

9

How do neural networks see depth in single images?:

van Dijk, Tom ; de Croon, Guido C. H. E
http://arxiv.org/abs/1905.07005. , 2019

Link: http://arxiv.org/abs/190..

10

Simple Fixpoint Iteration To Solve Parity Games:

van Dijk, Tom ; Rubbens, Bob
http://arxiv.org/abs/1909.07659. , 2019

Link: http://arxiv.org/abs/190..

11

Multi-core On-The-Fly Saturation:

Dijk, Tom van ; Meijer, Jeroen ; van de Pol, Jaco
Dijk , T V , Meijer , J & van de Pol , J 2019 , Multi-core On-The-Fly Saturation . in Tools and Algorithms for the Construction and Analysis of Systems, 25th International Conference, (TACAS) 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, (ETAPS) 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II . Springer , Lecture Notes in Computer Science , vol. 11428 , pp. 58-75 , 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 , Prag , Czech Republic , 06/04/2019 . https://doi.org/10.1007/978-3-030-17465-1_4. , 2019

Link: https://pure.au.dk/porta..

12

International Journal on Software Tools for Technology Tran..:

van Dijk, Tom ; von de Pol, Jaco
vignette : https://epub.jku.at/titlepage/urn/urn:nbn:at:at-ubl:3-1803/128. , 2018

Link: https://resolver.obvsg.a..

13

Attracting Tangles to Solve Parity Games:

van Dijk, Tom
http://arxiv.org/abs/1804.01023. , 2018

Link: http://arxiv.org/abs/180..

14

A Parity Game Tale of Two Counters:

van Dijk, Tom
http://arxiv.org/abs/1807.10210. , 2018

Link: http://arxiv.org/abs/180..

15

Revisiting Decision Diagrams for SAT:

van Dijk, Tom ; Ehlers, Rüdiger ; Biere, Armin
http://arxiv.org/abs/1805.03496. , 2018

Link: http://arxiv.org/abs/180..