Benjamin J. Kuipers

Available identifiers

zbMath Open kuipers.benjamin-jMaRDI QIDQ1190524

List of research outcomes

Publication	Date of Publication	Type
AI 2003: Advances in Artificial Intelligence	2009-08-07	Paper
Towards a general theory of topological maps	2006-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q4736592	2004-08-09	Paper
Proving properties of continuous systems: Qualitative simulation and temporal logic	2003-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4418857	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4794516	2003-02-19	Paper
Qualitative and quantitative simulation: bridging the gap	1998-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4860469	1996-02-06	Paper
The composition and validation of heterogeneous control laws	1994-03-13	Paper
Higher-order derivative constraints in qualitative simulation	1992-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q5750440	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3495343	1989-01-01	Paper
Qualitative simulation	1986-01-01	Paper

Research outcomes over time

This page was built for person: Benjamin J. Kuipers