Search the dblp DataBase

Publications of Author

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