Travelled to:1 × Estonia
1 × France
1 × United Kingdom
Collaborated with:J.v.d.Pol A.Laarman J.Meijer S.Blom T.v.Dijk
Talks about:pariti (2) game (2) parameteris (1) instanti (1) independ (1) perform (1) languag (1) generat (1) boolean (1) system (1)
Person: Gijs Kant
DBLP: Kant:Gijs
Contributed to:
2015
20142012Wrote 3 papers:
- TACAS-2015-KantLMPBD #independence #model checking #named
- LTSmin: High-Performance Language-Independent Model Checking (GK, AL, JM, JvdP, SB, TvD), pp. 692–707.
- GRAPHITE-2014-KantP #game studies #generative
- Generating and Solving Symbolic Parity Games (GK, JvdP), pp. 2–14.
- GRAPHITE-2012-KantP #equation #game studies #performance
- Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games (GK, JvdP), pp. 50–65.