CIRCA: A cooperative intelligent real-time control architecture DJ Musliner, EH Durfee, KG Shin IEEE Transactions on Systems, Man, and Cybernetics 23 (6), 1561-1574, 1993 | 415 | 1993 |
The challenges of real-time AI DJ Musliner, JA Hendler, AK Agrawala, EH Durfee, JK Strosnider, CJ Paul Computer 28 (1), 58-66, 1995 | 203 | 1995 |
World modeling for the dynamic construction of real-time control plans DJ Musliner, EH Durfee, KG Shin Artificial Intelligence 74 (1), 83-127, 1995 | 165 | 1995 |
Coordinated deployment of multiple, heterogeneous robots R Simmons, D Apfelbaum, D Fox, RP Goldman, KZ Haigh, DJ Musliner, ... Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots …, 2000 | 112 | 2000 |
SMT-based nonlinear PDDL+ planning D Bryce, S Gao, D Musliner, R Goldman Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 94 | 2015 |
Certification considerations for adaptive systems S Bhattacharyya, D Cofer, D Musliner, J Mueller, E Engstrom 2015 International Conference on Unmanned Aircraft Systems (ICUAS), 270-279, 2015 | 88 | 2015 |
Macbeth: a multi-agent constraint-based planner [autonomous agent tactical planner] RP Goldman, KZ Haigh, DJ Musliner, MJS Pelican Proceedings. The 21st Digital Avionics Systems Conference 2, 7E3-7E3, 2002 | 65 | 2002 |
Self-adaptive software for hard real-time environments DJ Musliner, RP Goldman, MJ Pelican, KD Krebsbach IEEE Intelligent Systems and Their Applications 14 (4), 23-29, 1999 | 64 | 1999 |
Coordinated Plan Management Using Multiagent MDPs. DJ Musliner, EH Durfee, J Wu, DA Dolgov, RP Goldman, MS Boddy AAAI spring symposium: Distributed plan and schedule management, 73-80, 2006 | 60 | 2006 |
Managing online self-adaptation in real-time environments RP Goldman, DJ Musliner, KD Krebsbach International Workshop on Self-Adaptive Software, 6-23, 2001 | 42 | 2001 |
Dynamic abstraction planning RP Goldman, DJ Musliner, KD Krebsbach, MS Boddy AAAI/IAAI, 680-686, 1997 | 41 | 1997 |
Probabilistic plan verification through acceptance sampling HLS Younes, DJ Musliner AIPS workshop on planning via model checking, 81-88, 2002 | 37 | 2002 |
Using model checking to plan hard real-time controllers RP Goldman, DJ Musliner, MJ Pelican Proceeding of the AIPS2k Workshop on Model-Theoretic Approaches to Planning, 2000 | 35 | 2000 |
Imposing real-time constraints on self-adaptive controller synthesis DJ Musliner Self-Adaptive Software: First International Workshop, IWSAS 2000 Oxford, UK …, 2001 | 32 | 2001 |
Exploiting implicit representations in timed automaton verification for controller synthesis RP Goldman, DJ Musliner, MJS Pelican International Workshop on Hybrid Systems: Computation and Control, 225-238, 2002 | 31 | 2002 |
A Framework for Planning in Continuous-time Stochastic Domains. HLS Younes, DJ Musliner, RG Simmons ICAPS, 195-204, 2003 | 30 | 2003 |
Deliberation scheduling strategies for adaptive mission planning in real-time environments. DJ Musliner, RP Goldman, KD Krebsbach AAAI Spring Symposium: Metacognition in Computation, 98-105, 2005 | 27 | 2005 |
Mice users guide TA Montgomery, EH Durfee University of Michigan, Computer Science and Engineering Division …, 1990 | 26 | 1990 |
Design paradigms for meta-control in multi-agent systems G Alexander, A Raja, EH Durfee, DJ Musliner Proceedings of AAMAS 2007 Workshop on Metareasoning in Agent-based Systems …, 2007 | 25 | 2007 |
FUZZBUSTER: Towards adaptive immunity from cyber threats DJ Musliner, JM Rye, D Thomsen, DD McDonald, MH Burstein, ... 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems …, 2011 | 23 | 2011 |