Cees Witteveen

Available identifiers

zbMath Open witteveen.ceesMaRDI QIDQ361804

List of research outcomes

Publication	Date of Publication	Type
Revision by communication	2022-08-30	Paper
Revising and updating using a back-up semantics	2019-10-08	Paper
On a comparison of Newton-Raphson solvers for power flow problems	2019-07-26	Paper
Stochastic task networks -- trading performance for stability	2017-08-04	Paper
Dynamic temporal decoupling	2017-08-04	Paper
Push and Rotate: a Complete Multi-agent Pathfinding Algorithm	2014-11-13	Paper
Flexibility and decoupling in simple temporal networks	2014-06-16	Paper
Reconfiguration of Large-Scale Surveillance Systems	2013-10-04	Paper
Program equilibrium -- a program reasoning approach	2013-08-19	Paper
Efficiently identifying deterministic real-time automata from labeled data	2012-05-23	Paper
The efficiency of identifying timed automata and the power of clocks	2011-07-27	Paper
A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data	2010-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q3584251	2010-08-27	Paper
Plan decoupling of agents with qualitatively constrained tasks	2010-02-05	Paper
One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit	2009-04-02	Paper
Plan-Coordination Mechanisms and the Price of Autonomy	2009-02-12	Paper
Fuzzy Argumentation for Trust	2009-02-12	Paper
Polynomial Distinguishability of Timed Automata	2008-10-16	Paper
KI 2005: Advances in Artificial Intelligence	2006-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4738885	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4460679	2004-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4708237	2003-06-17	Paper
A resource logic for multi-agent plan merging	2003-03-10	Paper
Plan coordination by revision in collective agent based systems.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4537434	2002-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q2776473	2002-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4244295	1999-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4225125	1999-01-18	Paper
Recovery of (non)monotonic theories	1999-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4395144	1998-10-11	Paper
https://portal.mardi4nfdi.de/entity/Q4287520	1994-04-12	Paper
Skeptical reason maintenance and belief revision	1994-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4028833	1993-03-28	Paper
Inferring control structures from the behaviour of a production system	1981-01-01	Paper

Research outcomes over time

This page was built for person: Cees Witteveen