Library
search
local_library
Repository
A
A Bos
View Pure Profile
Authored
20 records found
Muti-agent cooperation in a planning framework
Conference paper -
M.M. de Weerdt
,
A Bos
,
J.F.M. Tonino
,
C. Witteveen
A dynamic systems framework for multi-agent experiments
Conference paper -
A Bos
,
M.M. de Weerdt
,
C. Witteveen
,
J.F.M. Tonino
,
JM Valk
Safe testing for dynamic systems
Conference paper -
A Bos
,
C. Witteveen
Automated theorem proving for the KARO-architecture
Conference paper -
JM Valk
,
J.F.M. Tonino
,
A Bos
,
C. Witteveen
Compilation to speed up the control of hybrid systems
Conference paper -
A Bos
,
C. Witteveen
An algorithm for replanning
Conference paper -
R.P.J. van der Krogt
,
A Bos
,
M.M. de Weerdt
,
C. Witteveen
Replanning in a resource-based framework
Conference paper -
R.P.J. van der Krogt
,
A Bos
,
C. Witteveen
Design of a generic model-based diagnosis system with automatic abstraction generation
Conference paper -
A Bos
,
A.J.C. van Gemund
,
C. Witteveen
A plan fusion algorithm for multi-agent systems
Conference paper -
M.M. de Weerdt
,
A Bos
,
J.F.M. Tonino
,
C. Witteveen
Model-based diagnosis for satellite-based instruments
Conference paper -
A Bos
,
A.J.C. van Gemund
,
C. Witteveen
System health tracking and safe testing
Conference paper -
A Bos
,
A.J.C. van Gemund
Cooperation by iterated plan revision
Conference paper -
BJ Moree
,
A Bos
,
J.F.M. Tonino
,
C. Witteveen
A system architecture for distributed implementation of virtual measurement systems
Conference paper -
Z Papp
,
HJ Hoeve
,
A Bos
Model-based health tracking
Conference paper -
A Bos
A resource logic for multi-agent plan merging
Journal article -
M.M. de Weerdt
,
A Bos
,
J.F.M. Tonino
,
C. Witteveen
Promis methodology for prognostic health management
Conference paper -
JPM Smeulers
,
R Zeelen
,
A Bos
Plan fragment libraries
Conference paper -
R.P.J. van der Krogt
,
A Bos
,
C. Witteveen
An approximation algorithm for a logistic planning problem
Conference paper -
JM Valk
,
A Bos
,
J Rogier
,
J.F.M. Tonino
,
C. Witteveen
Complexity reduction by using computational histories
Conference paper -
A Bos
,
N Roos
,
C. Witteveen
Computing with computational histories
Conference paper -
A Bos
,
N Roos
,
C. Witteveen