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
4151993
The challenges of real-time AI
DJ Musliner, JA Hendler, AK Agrawala, EH Durfee, JK Strosnider, CJ Paul
Computer 28 (1), 58-66, 1995
2041995
World modeling for the dynamic construction of real-time control plans
DJ Musliner, EH Durfee, KG Shin
Artificial Intelligence 74 (1), 83-127, 1995
1651995
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
1122000
SMT-based nonlinear PDDL+ planning
D Bryce, S Gao, D Musliner, R Goldman
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
942015
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
882015
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
652002
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
641999
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
602006
Managing online self-adaptation in real-time environments
RP Goldman, DJ Musliner, KD Krebsbach
International Workshop on Self-Adaptive Software, 6-23, 2001
422001
Dynamic abstraction planning
RP Goldman, DJ Musliner, KD Krebsbach, MS Boddy
AAAI/IAAI, 680-686, 1997
411997
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
Proceeding of the AIPS2k Workshop on Model-Theoretic Approaches to Planning, 2000
352000
Imposing real-time constraints on self-adaptive controller synthesis
DJ Musliner
Self-Adaptive Software: First International Workshop, IWSAS 2000 Oxford, UK …, 2001
322001
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
A Framework for Planning in Continuous-time Stochastic Domains.
HLS Younes, DJ Musliner, RG Simmons
ICAPS, 195-204, 2003
302003
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
272005
Mice users guide
TA Montgomery, EH Durfee
University of Michigan, Computer Science and Engineering Division …, 1990
261990
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
252007
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
232011
The system can't perform the operation now. Try again later.
Articles 1–20