Person:1383349

Available identifiers

zbMath Open kabanza.frodualdMaRDI QIDQ1383349

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2852031	2013-10-07	Paper
Planning with Concurrency under Resources and Time Uncertainty	2011-05-11	Paper
Advances in Artificial Intelligence	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4411517	2003-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q2772667	2002-02-19	Paper
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints	2000-10-17	Paper
Planning for temporally extended goals.	2000-09-10	Paper
Using temporal logics to express search control knowledge for planning	2000-06-04	Paper
Planning control rules for reactive agents	1998-06-30	Paper
An Efficient Algorithm for Controller Synthesis under Full Observation	1998-01-07	Paper
Handling infinite temporal data	1995-10-25	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: Froduald Kabanza