David J. Musliner

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 5

Top Topics

Planning Under Partial Observability

Automatically Generate

Planning Domains

Novelty Detection

Top Venues

AAAI Workshop: Planning for Hybrid Systems

Int. J. Softw. Tools Technol. Transf.

AAAI Spring Symposium: Trust and Autonomous Systems

Publications

Matthew D. McLure, David J. Musliner
A Changepoint Method for Open-World Novelty Detection. IGARSS (2022)
Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control. NFM (2016)
Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
An Architecture for Hybrid Planning and Execution. AAAI Workshop: Planning for Hybrid Systems (2016)
Scott E. Friedman, David J. Musliner
Automatically Repairing Stripped Executables with CFG Microsurgery. SASO Workshops (2015)
Daniel Bryce, Sicun Gao, David J. Musliner, Robert P. Goldman
SMT-Based Nonlinear PDDL+ Planning. AAAI (2015)
Robert P. Goldman, Michael J. S. Pelican, David J. Musliner
A loop acceleration technique to speed up verification of automatically generated plans. Int. J. Softw. Tools Technol. Transf. 16 (1) (2014)
Colin M. Potts, Kurt D. Krebsbach, Jordan Tyler Thayer, David J. Musliner
Improving Trust Estimates in Planning Domains with Rare Failure Events. AAAI Spring Symposium: Trust and Autonomous Systems (2013)
David J. Musliner, Scott E. Friedman, Jeffrey M. Rye, Tom Marble
Meta-control for Adaptive Cybersecurity in FUZZBUSTER. SASO (2013)
Brett Benyo, Partha P. Pal, Richard E. Schantz, Aaron Paulos, David J. Musliner, Tom Marble, Jeffrey M. Rye, Michael Boldt, Scott E. Friedman
Automated Self-Adaptation for Cyber-Defense - Pushing Adaptive Perimeter Protection Inward. SASO Workshops (2013)
David J. Musliner, Scott E. Friedman, Tom Marble, Jeffrey M. Rye, Michael Boldt, Michael J. S. Pelican
Self-Adaptation Metrics for Active Cybersecurity. SASO Workshops (2013)
David J. Musliner, Jeffrey M. Rye, Timothy Woods, Tom Marble, Kevin Raison
Automatic Self-Adaptation to Mitigate Software Vulnerabilities: A Fuzzbuster Progress Report (Extended Abstract for Poster). SASO (2012)
David J. Musliner, Jeffrey M. Rye, Tom Marble
Using Concolic Testing to Refine Vulnerability Profiles in FUZZBUSTER. SASO Workshops (2012)
Christopher A. Miller, Tyler H. Shaw, Joshua D. Hamell, Adam Emfield, David J. Musliner, Ewart de Visser, Raja Parasuraman
Delegation to Automation: Performance and Implications in Non-optimal Situations. HCI (21) (2011)
David J. Musliner, Jeffrey M. Rye, Dan Thomsen, David D. McDonald, Mark H. Burstein, Paul Robertson
FUZZBUSTER: Towards Adaptive Immunity from Cyber Threats. SASO Workshops (2011)
David J. Musliner, Robert P. Goldman
Priority-Based Meta-control within Hierarchical Task Network Planning. SASO Workshops (2010)
David J. Musliner, Michael J. S. Pelican, Robert P. Goldman, Kurt D. Krebsbach, Edmund H. Durfee
The Evolution of CIRCA, a Theory-Based AI Architecture with Real-Time Performance Guarantees. AAAI Spring Symposium: Emotion, Personality, and Social Behavior (2008)
George Alexander, Anita Raja, David J. Musliner
Controlling deliberation in a Markov decision process-based agent. AAMAS (1) (2008)
Robert P. Goldman, David J. Musliner, Mark S. Boddy, Edmund H. Durfee, Jianhui Wu
"Unrolling" Complex Task Models into MDPs. AAAI Spring Symposium: Game Theoretic and Decision Theoretic Agents (2007)
David J. Musliner, Edmund H. Durfee, Jianhui Wu, Dmitri A. Dolgov, Robert P. Goldman, Mark S. Boddy
Coordinated Plan Management Using Multiagent MDPs. AAAI Spring Symposium: Distributed Plan and Schedule Management (2006)
Edmund H. Durfee, David J. Musliner
Preface. AAAI Spring Symposium: Distributed Plan and Schedule Management (2006)
Edmund H. Durfee, David J. Musliner
Organizing Committee. AAAI Spring Symposium: Distributed Plan and Schedule Management (2006)
Andreas Abecker, Rachid Alami, Chitta Baral, Timothy W. Bickmore, Edmund H. Durfee, Terry Fong, Mehmet H. Göker, Nancy L. Green, Mark Liberman, Christian Lebiere, James H. Martin, Gregoris Mentzas, David J. Musliner, Nicolas Nicolov, Illah R. Nourbakhsh, Franco Salvetti, Daniel G. Shapiro, Debbie Schrekenghost, Amit P. Sheth, Ljiljana Stojanovic, Vytas SunSpiral, Robert E. Wray
AAAI 2006 Spring Symposium Reports. AI Mag. 27 (3) (2006)
David J. Musliner, Michael J. S. Pelican, Robert P. Goldman
Incremental Verification for On-the-Fly Controller Synthesis. Electron. Notes Theor. Comput. Sci. 149 (2) (2006)
David J. Musliner, Robert P. Goldman, Kurt D. Krebsbach
Deliberation scheduling strategies for adaptive mission planning in real-time environments. AAAI Spring Symposium: Metacognition in Computation (2005)
Kurt D. Krebsbach, David J. Musliner
Projection and Reaction for Decision Support in Refineries: Combining Multiple Theories. AAAI Spring Symposium: Challenges to Decision Support in a Changing World (2005)
Robert P. Goldman, Michael J. S. Pelican, David J. Musliner
Guiding Planner Backjumping Using Verifier Traces. ICAPS (2004)
Håkan L. S. Younes, David J. Musliner, Reid G. Simmons
A Framework for Planning in Continuous-time Stochastic Domains. ICAPS (2003)
David J. Musliner
CIRCADIA Demonstration: Active Adaptive Defense. DISCEX (2) (2003)
Vu A. Ha, David J. Musliner
Balancing Safety Against Performance: Tradeoffs in Internet Security. HICSS (2003)
Robert P. Goldman, David J. Musliner, Michael J. S. Pelican
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. HSCC (2002)
Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach
Managing Online Self-adaptation in Real-Time Environments. IWSAS (2001)
Ranjana G. Deshpande, David J. Musliner, Jorge E. Tierno, Robert P. Goldman
Modifying HYTECH to automatically synthesize hybrid controllers. CDC (2001)
Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal
Applications of Model Checking at Honeywell Laboratories. SPIN (2001)
David J. Musliner, Robert P. Goldman, Michael J. S. Pelican
Planning with increasingly complex executive models. IROS (2001)
Reid G. Simmons, David Apfelbaum, Dieter Fox, Robert P. Goldman, Karen Zita Haigh, David J. Musliner, Michael J. S. Pelican, Sebastian Thrun
Coordinated deployment of multiple, heterogeneous robots. IROS (2000)
David J. Musliner
Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis. IWSAS (2000)
David J. Musliner, Robert P. Goldman, Michael J. S. Pelican
Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers. ICRA (2000)
David J. Musliner, Barney Pell, Wolff Dobson, Kai Goebel, Gautam Biswas, Sheila A. McIlraith, Giuseppina C. Gini, Sven Koenig, Shlomo Zilberstein, Weixiong Zhang
Reports on the AAAI Spring Symposia (March 1999). AI Mag. 21 (2) (2000)
David J. Musliner, Robert P. Goldman, Michael J. S. Pelican, Kurt D. Krebsbach
Self-adaptive software for hard real-time environments. IEEE Intell. Syst. 14 (4) (1999)
Dejan S. Milojicic, David J. Musliner, Wolfgang Schröder-Preikschat
Agents: Mobility and Communication. HICSS (7) (1998)
Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy
Dynamic Abstraction Planning. AAAI/IAAI (1997)
David J. Musliner, Mark S. Boddy
Contract-Based Distributed Scheduling for Distributed Processing. AAAI Workshop: Constraints & Agents (1997)
Robert C. Kohout, James A. Hendler, David J. Musliner
Guaranteeing Safety in Spatially Situated Agents. AAAI/IAAI, Vol. 2 (1996)
David J. Musliner, Christopher A. Miller
Agent and Task Modeling at Honeywell. Agent Modeling (1996)
David J. Musliner, Edmund H. Durfee, Kang G. Shin
World Modeling for the Dynamic Construction of Real-Time Control Plans. Artif. Intell. 74 (1) (1995)
David J. Musliner, James A. Hendler, Ashok K. Agrawala, Edmund H. Durfee, Jay K. Strosnider, C. J. Paul
The Challenges of Real-Time All. Computer 28 (1) (1995)
David J. Musliner
Using Abstraction and Nondeterminism to Plan Reaction Loops. AAAI (1994)
David J. Musliner, Edmund H. Durfee, Kang G. Shin
CIRCA: a cooperative intelligent real-time control architecture. IEEE Trans. Syst. Man Cybern. 23 (6) (1993)
David J. Musliner, James W. Dolter, Kang G. Shin
: A Bibliographic Database for Collaboration. CSCW (1992)