David Musliner
David Musliner
Smart Information Flow Technologies (SIFT)
Verified email at musliner.com - Homepage
TitleCited byYear
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
3731993
Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges
R Alami, A Albu-Schäffer, A Bicchi, R Bischoff, R Chatila, A De Luca, ...
2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 1-16, 2006
238*2006
The challenges of real-time AI
DJ Musliner, JA Hendler, AK Agrawala, EH Durfee, JK Strosnider, CJ Paul
Computer 28 (1), 58-66, 1995
1711995
World modeling for the dynamic construction of real-time control plans
DJ Musliner, EH Durfee, KG Shin
Artificial Intelligence 74 (1), 83-127, 1995
1611995
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
1042000
SMT-based nonlinear PDDL+ planning
D Bryce, S Gao, D Musliner, R Goldman
Workshops at the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
712015
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
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
581999
MACBeth: A multi-agent constraint-based planner
RP Goldman, KZ Haigh, DJ Musliner, M Pelican
AAAI Workshop on Constraints and AI Planning, 11-17, 2000
532000
Dynamic abstraction planning
RP Goldman, DJ Musliner, KD Krebsbach, MS Boddy
AAAI/IAAI, 680-686, 1997
411997
Managing online self-adaptation in real-time environments
RP Goldman, DJ Musliner, KD Krebsbach
International Workshop on Self-Adaptive Software, 6-23, 2001
392001
Using model checking to plan hard real-time controllers
RP Goldman, DJ Musliner, MJ Pelican
AIPS Workshop on Model-Theoretic Approaches to Planning, 2000
352000
Probabilistic plan verification through acceptance sampling
HLS Younes, DJ Musliner
Proceedings of the AIPS-02 Workshop on Planning via Model Checking, 81-88, 2002
332002
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
322015
A Framework for Planning in Continuous-time Stochastic Domains.
HLS Younes, DJ Musliner, RG Simmons
ICAPS, 195-204, 2003
302003
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
302002
Imposing real-time constraints on self-adaptive controller synthesis
DJ Musliner
International Workshop on Self-Adaptive Software, 143-160, 2000
302000
Deliberation scheduling strategies for adaptive mission planning in real-time environments
DJ Musliner, RP Goldman, KD Krebsbach
In Proc. Third International Workshop on Self Adaptive Software, 2003
242003
Mice users guide
TA Montgomery, EH Durfee
University of Michigan, Computer Science and Engineering Division …, 1990
241990
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
212007
The system can't perform the operation now. Try again later.
Articles 1–20