I recently joined SIFT after a long stint at Honeywell Labs. Before that, I was a UMIACS postdoctoral fellow and lecturer and a postdoc, lecturer, and Project Director at the University of Maryland Autonomous Mobile Robots Lab.
musliner.com
George Alexander, Anita Raja, Ed Durfee and David Musliner, "Design Paradigms for Meta-Control in Multi-Agent Systems" , Proceedings of AAMAS 2007 Workshop on Metareasoning in Agent-based Systems, pp 92-103, Hawaii, May 2007.
David J. Musliner, Robert P. Goldman, Edmund H. Durfee, Jianhui Wu, Dmitri A. Dolgov, and Mark S. Boddy, "Coordination of Highly Contingent Plans", International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS), pp. 418-422, April 30 - May 3 2007.
David J. Musliner, Michael J. S. Pelican, and Robert Goldman, "Incremental Verification for On-the-Fly Controller Synthesis", in the Electronic Notes in Theoretical Computer Science, Vol. 149, Number 2, Feb 2006.
David J. Musliner, Edmund H. Durfee, Jianhui Wu, Dmitri A. Dolgov, Robert P. Goldman, Mark S. Boddy, Coordinated Plan Management Using Multiagent MDPs, in Working Notes of the AAAI Spring Symp. on Distributed Plan and Schedule Management, March 2006.
Robert P. Goldman, Michael J. S. Pelican, and David J. Musliner, Guiding Planner Backjumping Using Verifier Traces, in Proc. Int'l Conf. on Automated Planning and Scheduling (ICAPS), 2004.
Hakan L. S. Younes, David J. Musliner, and Reid G. Simmons, A Framework for Planning in Continuous-time Stochastic Domains, in Proc. Int'l Conf. on Automated Planning and Scheduling, p. 195-204, June 2003.
David J. Musliner, Robert P. Goldman, and Kurt D. Krebsbach, Deliberation Scheduling Strategies for Adaptive Mission Planning in Real-Time Environments, in Proc. Third International Workshop on Self Adaptive Software, 2003.
Kurt D. Krebsbach and David J. Musliner, Plant + Control System + Human: Three's a Crowd (Extended Abstract), in Working Notes of the AAAI Spring Symp. on Human Interaction with Autonomous Systems in Complex Environments, March 2003.
Vu A. Ha and David J. Musliner, Balancing Safety Against Performance: Tradeoffs in Internet Security, in Proc. Hawaii Int'l Conf. on System Sciences, January 2003.
David J. Musliner, Michael J. S. Pelican, and Kurt D. Krebsbach, Building Coordinated Real-Time Control Plans, in Proc. Third Annual International NASA Workshop on Planning and Scheduling for Space, October 2002.
Robert P. Goldman, Karen Zita Haigh, David J. Musliner, and Michael J. Pelican, MACBeth: A Constraint-Based Planner, in Proc. 21st Digital Avionics Systems Conference, October 2002.
Robert P. Goldman, Michael J. S. Pelican, and David J. Musliner, Verifier Trace-Directed Backjumping for Controller Synthesis, in Working Notes of the 2nd Workshop on Real-Time Tools, August 2002.
Vu Ha and David J. Musliner, Toward Decision-Theoretic CIRCA with Application to Real-Time Computer Security Control , in Working notes of the AAAI 2002 Workshop on Real-Time Decision Support and Diagnostics Systems, July 2002.
Hakan L. Younes and David J. Musliner, Probabilistic Plan Verification through Acceptance Sampling , in Proc. AIPS-02 Workshop on Planning via Model Checking, April 2002.
Robert P. Goldman, David J. Musliner, and Michael J. Pelican, Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis, in Proceedings of the 2002 Hybrid Systems: Computation and Control Workshop, March 2002.
David J. Musliner, Safe Learning in Mission-Critical Domains: Time is of the Essence, in Working Notes of the AAAI Spring Symposium on Safe Learning Agents, March 2002.
Ranjana G. Deshpande, David J. Musliner, Jorge E. Tierno, Steve G. Pratt, and Robert P. Goldman, Modifying HyTech to Automatically Synthesize Hybrid Controllers, in Proc. Conf. on Decision and Control, p. 1223-1228, 2001.
David J. Musliner, Robert P. Goldman, and Michael J. Pelican, Planning with Increasingly Complex Executive Models, in Proc. Int'l Conf. on Intelligent Robots and Systems, 2001.
Darren Cofer, Eric Engstrom, Robert Goldman, David Musliner, and Steve Vestal, Applications of Model Checking at Honeywell Laboratories, Lecture Notes in Computer Science, Vol. 2057, Springer-Verlag, p. 296-303, 2001.
Kurt D. Krebsbach and David J. Musliner, You Sense, I'll Act: Coordinated Preemption in Multi-Agent CIRCA, in Working Notes of the AAAI Fall Symposium on Negotiation Methods for Autonomous Cooperative Systems, November 2001.
David J. Musliner and Kurt D. Krebsbach, Multi-Agent Mission Coordination via Negotiation in Working Notes of the AAAI Fall Symposium on Negotiation Methods for Autonomous Cooperative Systems, November 2001.
Robert P. Goldman and David J. Musliner and Kurt D. Krebsbach, Managing Online Self-Adaptation in Real-Time Environments in Proc. Second Int'l Workshop on Self-Adaptive Software, 2001. Full version appears in Springer-Verlag's Lecture Notes on Computer Science #2614, "Self-Adaptive Software: Applications", edited by Robert Laddaga, Paul Robertson, and Howie Shrobe.
Christopher W. Geib, Robert P. Goldman, and David J. Musliner, Monte-Carlo Simulation for Automatic Synthesis of Verified Real-time Controllers, in Working Notes of the AAAI Spring Symposium on Model-Based Validation of Intelligence, March 2001.
Reid Simmons, David Apfelbaum, Dieter Fox, Robert P. Goldman, Karen Zita Haigh, David J. Musliner, Michael Pelican, Sebastian Thrun, Coordinated Deployment of Multiple Heterogeneous Robots in Proc. Conf. on Intelligent Robots and Systems, October 2000.
David J. Musliner, Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis in Proc. Int'l Workshop on Self-Adaptive Software, 2000. Full version appears in Springer-Verlag's Lecture Notes on Computer Science #1936, "Self-Adaptive Software", edited by Paul Robertson, Howie Shrobe, and Robert Laddaga.
David J. Musliner, Planner Feedback: NIL is Not Enough in Working Notes of the AAAI Workshop on Representational Issues for Real-World Planning Systems, July 2000.
Robert P. Goldman, Karen Zita Haigh, David J. Musliner, and Michael Pelican MACBeth: A Multi-Agent Constraint-Based Planner in Working Notes of the AAAI Workshop on Constraints and AI Planning, July 2000.
Robert P. Goldman, David J. Musliner, and Michael J. Pelican, Using Model Checking to Plan Hard Real-Time Controllers in Proc. AIPS Workshop on Model-Theoretic Approaches to Planning, April 2000.
David J. Musliner, Robert P. Goldman, and Michael J. Pelican, Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers in Proc. Int'l Conference on Robotics and Automation, April 2000.
Robert P. Goldman, Michael J. Pelican, and David J. Musliner, Modeling and Verification for Automatic Synthesis of Real-time Controllers in Working Notes of the AAAI Spring Symposium on Real-Time Autonomous Systems, March 2000.
Karen Zita Haigh, David J. Musliner, and Sunondo Ghosh RT-MLab: Really Real-Time Robotics in Working Notes of the AAAI Spring Symposium on Real-Time Autonomous Systems, March 2000.
James M. Krause and Tariq Samad and David J. Musliner, Multiple Vehicle Mission Management: Coordination and Optimization in Proc. NATO Symposium on Advanced Mission Management and System Integration Technologies for Improved Tactical Operations, September, 1999.
David J. Musliner, Robert P. Goldman, Michael J. Pelican, and Kurt D. Krebsbach, "Self-Adaptive Software for Hard Real-Time Environments" in IEEE Intelligent Systems, vol. 14 no. 4, July/August, pp. 23--29, 1999. This paper is available online only from IEEE.
Robert P. Goldman, Michael Pelican, and David J. Musliner, Hard Real-time Mode Logic Synthesis for Hybrid Control: A CIRCA-based Approach, in Working Notes of the AAAI Spring Symposium on Hybrid Systems and AI, 1999.
David J. Musliner, Real-Time is Not an Option, in Working Notes of the Proc. Workshop on Autonomy Control Software, Autonomous Agents Conference, May 1999.
David J. Musliner and Kurt D. Krebsbach, Adjustable Autonomy in Procedural Control for Refineries, in Working Notes of the AAAI Spring Symposium on Adjustable Autonomy, 1999.
David J. Musliner, Kurt D. Krebsbach, Michael Pelican, Robert P. Goldman, and Mark S. Boddy, Issues in Distributed Planning for Real-Time Control (Extended Abstract) , in Working Notes of the AAAI Fall Symposium on Distributed Continual Planning, 1998.
David J. Musliner and Kurt D. Krebsbach, Applying a Procedural and Reactive Approach to Abnormal Situations in Refinery Control, in Proc. Conf on Foundations of Computer-Aided Process Operations (FOCAPO), July 1998, Snowbird, Utah.
David J. Musliner, Mark S. Boddy, Robert P. Goldman, and Kurt D. Krebsbach, The Link Between Distributed Planning and Abstraction, in Working Notes of the AAAI Fall Symposium on Model-Directed Autonomous Systems, 1997.
David J. Musliner, Robert P. Goldman, Mark S. Boddy, and Kurt D. Krebsbach, Distributed CIRCA: Guaranteeing Coordinated Behavior in Distributed Real-Time Domains, Honeywell Technology Center Technical Report SST-R97-030, Minneapolis, MN, October 1997.
David J. Musliner and Robert P. Goldman, CIRCA and the Cassini Saturn Orbit Insertion: Solving a Prepositioning Problem, in Working Notes of the NASA Workshop on Planning and Scheduling for Space, 1997.
Robert P. Goldman, David J. Musliner, Mark S. Boddy, and Kurt D. Krebsbach, The CIRCA Model of Planning and Execution, in Working Notes of the AAAI Workshop on Robots, Softbots, Immobots: Theories of Action, Planning and Control, 1997.
Kurt D. Krebsbach and David J. Musliner, A Refinery Immobot for Abnormal Situation Management , in Working Notes of the AAAI Workshop on Robots, Softbots, Immobots: Theories of Action, Planning and Control, 1997.
David J. Musliner and Mark S. Boddy, Contract-Based Distributed Scheduling for Distributed Processing , in Working Notes of the AAAI Workshop on Constraints and Agents, 1997.
Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, and Mark S. Boddy, Dynamic Abstraction Planning, in AAAI'97.
Robert P. Goldman, Stephanie Guerlain, Christopher Miller, and David J. Musliner, Integrated Task Representation for Indirect Interaction, in Working Notes of the AAAI Spring Symposium on Computational Models for Mixed-initiative Interaction, 1997.
David J. Musliner, Plan Execution in Mission-Critical Domains, in Working Notes of AAAI Fall Symp. on Plan Execution: Problems and Issues, November 1996.
David J. Musliner and Christopher A. Miller, Agent and Task Modeling at Honeywell, in Working Notes of AAAI Workshop on Agent Modeling, August 1996.
David J. Musliner and Kurt D. Krebsbach, Planning for Murphy's Law: Uncertainty in CIRCA, in Working Notes of AAAI Spring Symp. on Planning with Incomplete Information for Robot Problems, March 1996.
Rick Moll and David J. Musliner Designing and Building a Multiple-Transducer Sonar System (Part 2), The Robotics Practitioner, Vol. 2 #2, pp. 27--30, Spring 1996.
David J. Musliner and Rick Moll Designing and Building a Multiple-Transducer Sonar System (Part 1), The Robotics Practitioner, Vol. 1 #4, pp. 39--43, Fall 1995.
D. J. Musliner, E. H. Durfee, and K. G. Shin, World Modeling for the Dynamic Construction of Real-Time Control Plans, AI Journal, Vol. 74 #1, pp. 83-127, March 1995.
D. J. Musliner, J. A. Hendler, A. K. Agrawala, E. H. Durfee, J. K. Strosnider, and C. J. Paul, The Challenges of Real-Time AI, IEEE Computer, Vol 28 #1, January 1995. Also appears as University of Maryland Technical Report CS-TR-3290 (UMIACS-TR-94-69).
D. J. Musliner, Using Abstraction and Nondeterminism to Plan Reaction Loops, Proc. National Conf. on AI, pp. 1036-1041, Seattle WA, August 1994.
D. J. Musliner, Predictive Sufficiency and the Use of Stored Internal State, in Proc. Conf. on Intelligent Robotics in Field, Factory, Service, and Space, pp. 298-305, Houston TX, March 1994.
D. J. Musliner, K. G. Shin, and E. H. Durfee, Automating the Design of Real-Time Reactive Systems, in Proc. Symposium on AI in Real-Time Control, 1994.
D. J. Musliner, Scheduling Issues Arising from Automated Real-Time System Design. University of Maryland Technical Report CS-TR-3364, UMIACS-TR-94-118.
D. J. Musliner, E. H. Durfee, and K. G. Shin, CIRCA: A Cooperative Intelligent Real-Time Control Architecture IEEE Transactions on Systems, Man, and Cybernetics, Vol 23 #6, 1993.
D. J. Musliner, CIRCA: The Cooperative Intelligent Real-Time Control Architecture Ph.D. Thesis, The University of Michigan, Ann Arbor, MI, 1993.
D. J. Musliner and D. Kortenkamp, MICE and the Science of Vacuuming, Working Notes of the AAAI Fall Symposium on Instantiating Real-World Agents , October 1993.
D. J. Musliner, E. H. Durfee, and K. G. Shin, Integrating Intelligence and Real-Time Control into Manufacturing Systems, Working Notes of the SIGMAN Workshop on Intelligent Manufacturing Technology, July 1993.
D. J. Musliner, J. W. Dolter, and K. G. Shin, BibDb: A Bibliographic Database for Collaboration , in Proc. Conf. on Computer Supported Cooperative Work, Oct 1992.
D. J. Musliner, E. H. Durfee, and K. G. Shin, Any-Dimension Algorithms , in Proc. Workshop on Real-Time Operating Systems and Software, May 1992.
D. J. Musliner, E. H. Durfee, and K. G. Shin, Reasoning About Bounded Reactivity to Achieve Real-Time Guarantees, in Proc. AAAI Spring Symposium on Selective Perception, March 1992.
D. J. Musliner, E. H. Durfee, and K. G. Shin, Execution Monitoring and Recovery Planning with Time, in Proc. Conf. on Artificial Intelligence Applications, February 1991.