Travelled to:1 × Spain
1 × USA
Collaborated with:∅ S.Verwer M.d.Weerdt
Talks about:determinist (1) tractabl (1) identifi (1) automata (1) skeptic (1) mainten (1) reason (1) effici (1) limit (1) clock (1)
Person: Cees Witteveen
DBLP: Witteveen:Cees
Contributed to:
2009
1991Wrote 2 papers:
- LATA-2009-VerwerWW #automaton
- One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit (SV, MdW, CW), pp. 740–751.
- KR-1991-Witteveen #maintenance
- Skeptical Reason Maintenance is Tractable (CW), pp. 570–581.