×

zbMATH — the first resource for mathematics

Kabanza, Froduald

Compute Distance To:
Author ID: kabanza.froduald Recent zbMATH articles by "Kabanza, Froduald"
Published as: Kabanza, Froduald; Kabanza, F.
External Links: MGP
Documents Indexed: 12 Publications since 1995

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 86 times in 73 Documents Cited by Year
Using temporal logics to express search control knowledge for planning. Zbl 0939.68827
Bacchus, F.; Kabanza, F.
38
2000
Planning for temporally extended goals. Zbl 1034.68549
Bacchus, Fahiem; Kabanza, Froduald
21
1998
Handling infinite temporal data. Zbl 0831.68034
Kabanza, F.; Stévenne, J.-M.; Wolper, P.
10
1995
Planning control rules for reactive agents. Zbl 0894.68138
Kabanza, F.; Barbeau, M.; St-Denis, R.
7
1997
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. Zbl 0986.93040
Barbeau, Michel; Kabanza, Froduald; St.-Denis, Richard
4
1998
Decision-theoretic planning with non-Markovian rewards. Zbl 1182.68270
Thiebaux, S.; Gretton, C.; Slaney, J.; Price, D.; Kabanza, F.
3
2006
Reasoning about robot actions: A model checking approach. Zbl 1017.68575
Ben Lamine, Khaled; Kabanza, Froduald
1
2002
An efficient algorithm for controller synthesis under full observation. Zbl 0888.68064
Barbeau, M.; Kabanza, F.; St-Denis, R.
1
1997
Planning with concurrency under resources and time uncertainty. Zbl 1211.68434
Beaudry, Éric; Kabanza, Froduald; Michaud, François
1
2010
Planning with concurrency under resources and time uncertainty. Zbl 1211.68434
Beaudry, Éric; Kabanza, Froduald; Michaud, François
1
2010
Decision-theoretic planning with non-Markovian rewards. Zbl 1182.68270
Thiebaux, S.; Gretton, C.; Slaney, J.; Price, D.; Kabanza, F.
3
2006
Reasoning about robot actions: A model checking approach. Zbl 1017.68575
Ben Lamine, Khaled; Kabanza, Froduald
1
2002
Using temporal logics to express search control knowledge for planning. Zbl 0939.68827
Bacchus, F.; Kabanza, F.
38
2000
Planning for temporally extended goals. Zbl 1034.68549
Bacchus, Fahiem; Kabanza, Froduald
21
1998
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. Zbl 0986.93040
Barbeau, Michel; Kabanza, Froduald; St.-Denis, Richard
4
1998
Planning control rules for reactive agents. Zbl 0894.68138
Kabanza, F.; Barbeau, M.; St-Denis, R.
7
1997
An efficient algorithm for controller synthesis under full observation. Zbl 0888.68064
Barbeau, M.; Kabanza, F.; St-Denis, R.
1
1997
Handling infinite temporal data. Zbl 0831.68034
Kabanza, F.; Stévenne, J.-M.; Wolper, P.
10
1995
all top 5

Cited by 154 Authors

3 Bonet, Blai
3 Cimatti, Alessandro
3 Duan, Zhenhua
3 Geffner, Hector
3 Giordano, Laura
3 Martelli, Alberto
3 Roveri, Marco
3 Tian, Cong
3 Traverso, Paolo
2 Bacchus, Fahiem
2 Baier, Jorge A.
2 Bauer, Andreas
2 Bertoli, Piergiorgio
2 Dasgupta, Pallab
2 De Giacomo, Giuseppe
2 Gelfond, Michael
2 Gerevini, Alfonso Emilio
2 Jobczyk, Krystian
2 Kabanza, Froduald
2 Kuter, Ugur
2 Ligȩza, Antoni
2 Long, Derek
2 McIlraith, Sheila A.
2 Nau, Dana
2 Patrizi, Fabio
2 Pistore, Marco
2 Poggioni, Valentina
2 Saetti, Alessandro
2 St-Denis, Richard
2 Yang, Kai
2 Zhang, Nan
1 Aiello, Marco
1 Albore, Alexandre
1 Alechina, Natasha
1 Alford, Ron
1 Autexier, Serge
1 Baioletti, Marco
1 Balduccini, Marcello
1 Baral, Chitta R.
1 Barbeau, Michel
1 Barták, Roman
1 Baudinet, Marianne
1 Bettini, Claudio
1 Bhattacharjee, G. P.
1 Bherer, Hans
1 Bienvenu, Meghyn
1 Bjäreland, Marcus
1 Boigelot, Bernard
1 Boutilier, Craig
1 Bradley, Elizabeth
1 Brzoska, Christoph
1 Chakrabarti, Partha Pratim
1 Chomicki, Jan
1 Cialdea Mayer, Marta
1 Coles, Andrew
1 Cui, Bin
1 Dasgupta, Anirban
1 Desharnais, Jules
1 Dimopoulos, Yannis
1 Dong, JinSong
1 Dovier, Agostino
1 Du, Hongwei
1 Egidi, Lavinia
1 Eiter, Thomas
1 Fainekos, Georgios E.
1 Falcone, Yliès
1 Fox, Maria
1 Fribourg, Laurent
1 Fritz, Christian
1 Gabaldon, Alfredo
1 Ghidini, Chiara
1 Ghosh, Kamalesh
1 Goldman, Robert P.
1 Gordienko, Evgueni I.
1 Grädel, Erich
1 Gurevich, Yuri
1 Halsey, Keith
1 Haslum, Patrik
1 Haufe, Sebastian
1 Heintz, Fredrik
1 Hindriks, Koen V.
1 Hogan, Apollo
1 Horty, John F.
1 Hutter, Dieter
1 Jajodia, Sushil
1 Ji, Jianmin
1 Jimenez, Sergio
1 Jonsson, Anders
1 Kaldeli, Eirini
1 Khoumsi, Ahmed
1 Kluza, Krzysztof
1 Kuper, Gabriel M.
1 Küster, Jan-Christoph
1 Lakemeyer, Gerhard
1 Latour, Louis
1 Lazovik, Alexander
1 Lespérance, Yves
1 Li, Jianwen
1 Limongelli, Carla
1 Lin, Fangzhen
...and 54 more Authors

Citations by Year