Froduald Kabanza

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Lecture Notes in Computer Science	2005-08-17	Paper
scientific article; zbMATH DE number 1947497 (Why is no real title available?)	2003-07-09	Paper
scientific article; zbMATH DE number 1708154 (Why is no real title available?)	2002-02-19	Paper
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints IEEE Transactions on Automatic Control	2000-10-17	Paper
Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence	2000-09-10	Paper
Using temporal logics to express search control knowledge for planning Artificial Intelligence	2000-06-04	Paper
Planning control rules for reactive agents Artificial Intelligence	1998-06-30	Paper
An Efficient Algorithm for Controller Synthesis under Full Observation Journal of Algorithms	1998-01-07	Paper
Handling infinite temporal data Journal of Computer and System Sciences	1995-10-25	Paper

Research outcomes over time

This page was built for person: Froduald Kabanza