Travelled to:1 × Singapore
Collaborated with:P.Kordy R.Langerak S.Mauw
Talks about:algorithm (1) automata (1) analysi (1) symbol (1) robust (1) time (1)
Person: Jan Willem Polderman
DBLP: Polderman:Jan_Willem
Contributed to:
2014Wrote 1 papers:
- FM-2014-KordyLMP #algorithm #analysis #automaton #robust
- A Symbolic Algorithm for the Analysis of Robust Timed Automata (PK, RL, SM, JWP), pp. 351–366.