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

David J. Musliner (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid J. Musliner, Robert P. Goldman: Priority-Based Meta-control within Hierarchical Task Network Planning. SASO Workshops 2010: 282-286
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid J. Musliner, Michael J. S. Pelican, Robert P. Goldman, Kurt D. Krebsbach, Edmund H. Durfee: The Evolution of CIRCA, a Theory-Based AI Architecture with Real-Time Performance Guarantees. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 43-48
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert P. Goldman, David J. Musliner, Mark S. Boddy, Edmund H. Durfee, Jianhui Wu: "Unrolling" Complex Task Models into MDPs. AAAI Spring Symposium: Game Theoretic and Decision Theoretic Agents 2007: 23-30
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid J. Musliner, Edmund H. Durfee, Jianhui Wu, Dmitri A. Dolgov, Robert P. Goldman, Mark S. Boddy: Coordinated Plan Management Using Multiagent MDPs. AAAI Spring Symposium: Distributed Plan and Schedule Management 2006: 73-80
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid J. Musliner, Robert P. Goldman, Kurt D. Krebsbach: Deliberation scheduling strategies for adaptive mission planning in real-time environments. AAAI Spring Symposium: Metacognition in Computation 2005: 98-105
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert P. Goldman, Michael J. S. Pelican, David J. Musliner: Guiding Planner Backjumping Using Verifier Traces. ICAPS 2004: 279-286
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert P. Goldman, David J. Musliner, Michael J. S. Pelican: Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. HSCC 2002: 225-238
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert P. Goldman, David J. Musliner, Kurt D. Krebsbach: Managing Online Self-adaptation in Real-Time Environments. IWSAS 2001: 6-23
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDarren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal: Applications of Model Checking at Honeywell Laboratories. SPIN 2001: 296-303
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy: Dynamic Abstraction Planning. AAAI/IAAI 1997: 680-686

Selection of 12 from 29 records - David J. Musliner has 57 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page