Follow
David Musliner
David Musliner
Smart Information Flow Technologies (SIFT)
Verified email at musliner.com - Homepage
Title
Cited by
Cited by
Year
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
4141993
The challenges of real-time AI
DJ Musliner, JA Hendler, AK Agrawala, EH Durfee, JK Strosnider, CJ Paul
Computer 28 (1), 58-66, 1995
2031995
World modeling for the dynamic construction of real-time control plans
DJ Musliner, EH Durfee, KG Shin
Artificial Intelligence 74 (1), 83-127, 1995
1691995
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
1132000
SMT-based nonlinear PDDL+ planning
D Bryce, S Gao, D Musliner, R Goldman
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
922015
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
842015
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
662002
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
631999
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
612006
Managing online self-adaptation in real-time environments
RP Goldman, DJ Musliner, KD Krebsbach
International Workshop on Self-Adaptive Software, 6-23, 2001
442001
Dynamic abstraction planning
RP Goldman, DJ Musliner, KD Krebsbach, MS Boddy
AAAI/IAAI, 680-686, 1997
421997
Probabilistic plan verification through acceptance sampling
HLS Younes, DJ Musliner
AIPS workshop on planning via model checking, 81-88, 2002
372002
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
372000
Imposing real-time constraints on self-adaptive controller synthesis
DJ Musliner
Self-Adaptive Software: First International Workshop, IWSAS 2000 Oxford, UK …, 2001
332001
A Framework for Planning in Continuous-time Stochastic Domains.
HLS Younes, DJ Musliner, RG Simmons
ICAPS, 195-204, 2003
322003
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
312002
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
282005
Mice users guide
TA Montgomery, EH Durfee
University of Michigan, Computer Science and Engineering Division …, 1990
251990
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
242007
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
222011
The system can't perform the operation now. Try again later.
Articles 1–20