David Musliner
David Musliner
Smart Information Flow Technologies (SIFT)
Geverifieerd e-mailadres voor musliner.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
3851993
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
278*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
1781995
World modeling for the dynamic construction of real-time control plans
DJ Musliner, EH Durfee, KG Shin
Artificial Intelligence 74 (1), 83-127, 1995
1631995
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
1112000
SMT-based nonlinear PDDL+ planning
D Bryce, S Gao, D Musliner, R Goldman
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
832015
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
642002
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
632006
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
591999
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
542015
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
401997
Using model checking to plan hard real-time controllers
RP Goldman, DJ Musliner, MJ Pelican
AIPS Workshop on Model-Theoretic Approaches to Planning, 2000
372000
Probabilistic plan verification through acceptance sampling
HLS Younes, DJ Musliner
Proceedings of the AIPS-02 Workshop on Planning via Model Checking, 81-88, 2002
352002
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
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
262003
Mice users guide
TA Montgomery, EH Durfee
University of Michigan, Computer Science and Engineering Division …, 1990
221990
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20