dblp.uni-trier.dewww.uni-trier.de

David J. Musliner Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
20EEGeorge Alexander, Anita Raja, David J. Musliner: Controlling deliberation in a Markov decision process-based agent. AAMAS (1) 2008: 461-468
2006
19EEDavid 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
16EEDavid J. Musliner: CIRCADIA Demonstration: Active Adaptive Defense. DISCEX (2) 2003: 30-31
15EEVu 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
13EERobert P. Goldman, David J. Musliner, Michael J. S. Pelican: Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. HSCC 2002: 225-238
2001
12EERobert P. Goldman, David J. Musliner, Kurt D. Krebsbach: Managing Online Self-adaptation in Real-Time Environments. IWSAS 2001: 6-23
11EEDarren 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
9EEDavid 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
4EEDavid 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
1EEDavid J. Musliner, James W. Dolter, Kang G. Shin: BIBDB: A Bibliographic Database for Collaboration. CSCW 1992: 386-393

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)