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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Cees Witteveen