The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David J. Musliner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002