David Musliner
David Musliner
Smart Information Flow Technologies (SIFT)
Verified email at - Homepage
Cited by
Cited by
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
The challenges of real-time AI
DJ Musliner, JA Hendler, AK Agrawala, EH Durfee, JK Strosnider, CJ Paul
Computer 28 (1), 58-66, 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
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
SMT-based nonlinear PDDL+ planning
D Bryce, S Gao, D Musliner, R Goldman
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 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
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
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
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
Managing online self-adaptation in real-time environments
RP Goldman, DJ Musliner, KD Krebsbach
International Workshop on Self-Adaptive Software, 6-23, 2001
Dynamic abstraction planning
RP Goldman, DJ Musliner, KD Krebsbach, MS Boddy
AAAI/IAAI, 680-686, 1997
Probabilistic plan verification through acceptance sampling
HLS Younes, DJ Musliner
AIPS workshop on planning via model checking, 81-88, 2002
Using model checking to plan hard real-time controllers
RP Goldman, DJ Musliner, MJ Pelican
Proc. AIPS Workshop on Model-Theoretic Approaches to Planning, 2000
Imposing real-time constraints on self-adaptive controller synthesis
DJ Musliner
Self-Adaptive Software: First International Workshop, IWSAS 2000 Oxford, UK …, 2001
A Framework for Planning in Continuous-time Stochastic Domains.
HLS Younes, DJ Musliner, RG Simmons
ICAPS, 195-204, 2003
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
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
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
Mice users guide
TA Montgomery, EH Durfee
University of Michigan, Computer Science and Engineering Division …, 1990
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
The system can't perform the operation now. Try again later.
Articles 1–20