Login / Signup
Gijs Kant
Publication Activity (10 Years)
Years Active: 2010-2015
Publications (10 Years): 0
Top Topics
Computer Games
Temporal Logic
Leader Follower
Symbolic Model Checking
Top Venues
GRAPHITE
TACAS
Haifa Verification Conference
</>
Publications
</>
Gijs Kant
,
Alfons Laarman
,
Jeroen Meijer
,
Jaco van de Pol
,
Stefan Blom
,
Tom van Dijk
LTSmin: High-Performance Language-Independent Model Checking.
TACAS
(2015)
Gijs Kant
,
Jaco van de Pol
Generating and Solving Symbolic Parity Games.
GRAPHITE
(2014)
Jeroen Meijer
,
Gijs Kant
,
Stefan Blom
,
Jaco van de Pol
Read, Write and Copy Dependencies for Symbolic Model Checking.
Haifa Verification Conference
(2014)
Gijs Kant
,
Jaco van de Pol
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games
GRAPHITE
(2012)
Stefan Blom
,
Gijs Kant
,
Arend Rensink
Distributed Graph-Based State Space Generation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
32 (2010)