Froduald Kabanza

Available identifiers

zbMath Open kabanza.frodualdMaRDI QIDQ1383349

List of research outcomes

Publication	Date of Publication	Type
Analyzing LTL model checking techniques for plan synthesis and controller synthesis (work in progress)	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

This page was built for person: Froduald Kabanza