Följ
Shahid Jabbar
Titel
Citeras av
Citeras av
År
Incremental map generation with GPS traces
R Bruntrup, S Edelkamp, S Jabbar, B Scholz
Intelligent Transportation Systems, 2005. Proceedings. 2005 IEEE, 574-579, 2005
1612005
Large-scale optimal PDDL3 planning with MIPS-XXL
S Edelkamp, S Jabbar, M Naizih
5th International Planning Competition Booklet (IPC-2006), 28-30, 2006
712006
Large-scale directed model checking LTL
S Edelkamp, S Jabbar
International SPIN Workshop on Model Checking of Software, 1-18, 2006
662006
External a*
S Edelkamp, S Jabbar, S Schrödl
KI 2004: Advances in Artificial Intelligence, 226-240, 2004
562004
Parallel external directed model checking with linear I/O
S Jabbar, S Edelkamp
International Workshop on Verification, Model Checking, and Abstract …, 2006
522006
Geometric travel planning
S Edelkamp, S Jabbar, T Willhalm
IEEE Transactions on Intelligent Transportation Systems 6 (1), 5-16, 2005
492005
Action planning for directed model checking of Petri nets
S Edelkamp, S Jabbar
Electronic Notes in Theoretical Computer Science 149 (2), 3-18, 2006
362006
Cost-algebraic heuristic search
S Edelkamp, S Jabbar, AL Lafuente
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (3), 1362, 2005
302005
Heuristic search for the analysis of graph transition systems
S Edelkamp, S Jabbar, AL Lafuente
International Conference on Graph Transformation, 414-429, 2006
292006
MIPS-XXL: Featuring external shortest path search for sequential optimal plans and external branch-and-bound for optimal net benefit
S Edelkamp, S Jabbar
Proc. 2008 International Planning Competition, Sydney, Australia, 2008
262008
I/O efficient directed model checking
S Jabbar, S Edelkamp
International Workshop on Verification, Model Checking, and Abstract …, 2005
242005
Cost-optimal external planning
S Edelkamp, S Jabbar
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 21 (1), 821, 2006
212006
External memory value iteration
S Edelkamp, S Jabbar, B Bonet
Dekanat Informatik, Univ., 2007
162007
Costoptimal planning with constraints and preferences in large state spaces
S Edelkamp, S Jabbar, M Nazih
International Conference on Automated Planning and Scheduling (ICAPS …, 2006
162006
On constructing a base map for collaborative map generation and its application in urban mobility planning
M Drozdzynski, S Edelkamp, A Gaubatz, S Jabbar, M Liebe
IEEE Conference on Intelligent Transportation Systems, IEEE Press, 678-683, 2007
132007
Real-time model checking on secondary storage
S Edelkamp, S Jabbar
International Workshop on Model Checking and Artificial Intelligence, 67-83, 2006
92006
Action planning for graph transition systems
S Edelkamp, S Jabbar, A Lluch-Lafuente
92005
External memory algorithms for state space exploration in model checking and action planning
S Jabbar
82008
GPS-based navigation in static and dynamic environments
S Jabbar
Master's thesis, University of Freiburg, 2003
82003
Scaling search with pattern databases
S Edelkamp, S Jabbar, P Kissmann
International Workshop on Model Checking and Artificial Intelligence, 49-64, 2008
72008
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20