Ammar Mohammed

	2009
3		Ammar Mohammed, Christian Schwarz: HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata. KI 2009: 695-702
2		Ammar Mohammed, Ulrich Furbach: From Reactive to Deliberative Multi-agent Planning. MSVVEIS 2009: 67-75
	2008
1		Ammar Mohammed, Ulrich Furbach: Modeling Multi-agent Logistic Process System using Hybrid Automata. MSVVEIS 2008: 141-149

Coauthor Index

1	Ulrich Furbach	[1] [2]
2	Christian Schwarz	[3]

Colors in the list of coauthors