David J. Musliner

	2008
20		George Alexander, Anita Raja, David J. Musliner: Controlling deliberation in a Markov decision process-based agent. AAMAS (1) 2008: 461-468
	2006
19		David J. Musliner, Michael J. S. Pelican, Robert P. Goldman: Incremental Verification for On-the-Fly Controller Synthesis. Electr. Notes Theor. Comput. Sci. 149(2): 71-90 (2006)
	2005
18		David J. Musliner, Robert P. Goldman, Kurt D. Krebsbach: Deliberation scheduling strategies for adaptive mission planning in real-time environments. Metacognition in Computation 2005: 98-105
	2004
17		Robert P. Goldman, Michael J. S. Pelican, David J. Musliner: Guiding Planner Backjumping Using Verifier Traces. ICAPS 2004: 279-286
	2003
16		David J. Musliner: CIRCADIA Demonstration: Active Adaptive Defense. DISCEX (2) 2003: 30-31
15		Vu A. Ha, David J. Musliner: Balancing Safety Against Performance: Tradeoffs in Internet Security. HICSS 2003: 205
14		Håkan L. S. Younes, David J. Musliner, Reid G. Simmons: A Framework for Planning in Continuous-time Stochastic Domains. ICAPS 2003: 195-204
	2002
13		Robert P. Goldman, David J. Musliner, Michael J. S. Pelican: Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. HSCC 2002: 225-238
	2001
12		Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach: Managing Online Self-adaptation in Real-Time Environments. IWSAS 2001: 6-23
11		Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal: Applications of Model Checking at Honeywell Laboratories. SPIN 2001: 296-303
	2000
10		David J. Musliner, Robert P. Goldman, Michael J. S. Pelican: Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers. ICRA 2000: 95-101
9		David J. Musliner: Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis. IWSAS 2000: 143-160
8		David J. Musliner, Barney Pell, Wolff Dobson, Kai Goebel, Gautam Biswas, Sheila A. McIlraith, Giuseppina C. Gini, Sven Koenig, Shlomo Zilberstein, Weixiong Zhang: Reports on the AAAI Spring Symposia (March 1999). AI Magazine 21(2): 79-84 (2000)
	1997
7		Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy: Dynamic Abstraction Planning. AAAI/IAAI 1997: 680-686
	1996
6		Robert C. Kohout, James A. Hendler, David J. Musliner: Guaranteeing Safety in Spatially Situated Agents. AAAI/IAAI, Vol. 2 1996: 909-914
5		David J. Musliner, Christopher A. Miller: Agent and Task Modeling at Honeywell. Agent Modeling 1996: 112-
	1995
4		David J. Musliner, Edmund H. Durfee, Kang G. Shin: World Modeling for the Dynamic Construction of Real-Time Control Plans. Artif. Intell. 74(1): 83-127 (1995)
3		David J. Musliner, James A. Hendler, Ashok K. Agrawala, Edmund H. Durfee, Jay K. Strosnider, C. J. Paul: The Challenges of Real-Time All. IEEE Computer 28(1): 58-66 (1995)
	1994
2		David J. Musliner: Using Abstraction and Nondeterminism to Plan Reaction Loops. AAAI 1994: 1036-1041
	1992
1		David J. Musliner, James W. Dolter, Kang G. Shin: BIBDB: A Bibliographic Database for Collaboration. CSCW 1992: 386-393

Coauthor Index

1	Ashok K. Agrawala	[3]
2	George Alexander	[20]
3	Gautam Biswas	[8]
4	Mark S. Boddy	[7]
5	Darren D. Cofer	[11]
6	Wolff Dobson	[8]
7	James W. Dolter	[1]
8	Edmund H. Durfee	[3] [4]
9	Eric Engstrom	[11]
10	Giuseppina C. Gini	[8]
11	Kai Goebel	[8]
12	Robert P. Goldman	[7] [10] [11] [12] [13] [17] [18] [19]
13	Vu A. Ha	[15]
14	James A. Hendler (Jim Hendler)	[3] [6]
15	Sven Koenig	[8]
16	Robert C. Kohout	[6]
17	Kurt D. Krebsbach	[7] [12] [18]
18	Sheila A. McIlraith	[8]
19	Christopher A. Miller	[5]
20	C. J. Paul	[3]
21	Michael J. S. Pelican	[10] [13] [17] [19]
22	Barney Pell	[8]
23	Anita Raja	[20]
24	Kang G. Shin	[1] [4]
25	Reid G. Simmons	[14]
26	Jay K. Strosnider	[3]
27	Steve Vestal	[11]
28	Håkan L. S. Younes	[14]
29	Weixiong Zhang	[8]
30	Shlomo Zilberstein	[8]

Colors in the list of coauthors