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
Self-Adaptive Software: Applications: Second International Workshop, IWSAS …, 2003
Dynamic abstraction planning
RP Goldman, DJ Musliner, KD Krebsbach, MS Boddy
AAAI/IAAI, 680-686, 1997
Using model checking to plan hard real-time controllers
RP Goldman, DJ Musliner, MJ Pelican
AIPS Workshop on Model-Theoretic Approaches to Planning, 2000
Probabilistic plan verification through acceptance sampling
HLS Younes, DJ Musliner
AIPS workshop on planning via model checking, 81-88, 2002
A Framework for Planning in Continuous-time Stochastic Domains.
HLS Younes, DJ Musliner, RG Simmons
ICAPS, 195-204, 2003
Imposing real-time constraints on self-adaptive controller synthesis
DJ Musliner
Self-Adaptive Software: First International Workshop, IWSAS 2000 Oxford, UK …, 2001
Exploiting implicit representations in timed automaton verification for controller synthesis
RP Goldman, DJ Musliner, MJS Pelican
Hybrid Systems: Computation and Control: 5th International Workshop, HSCC …, 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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20