Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David J. Musliner
@inproceedings{DBLP:conf/igarss/McLureM22,
author = {Matthew D. McLure and
David J. Musliner},
title = {A Changepoint Method for Open-World Novelty Detection},
booktitle = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
2022, Kuala Lumpur, Malaysia, July 17-22, 2022},
pages = {5329--5332},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IGARSS46834.2022.9884415},
doi = {10.1109/IGARSS46834.2022.9884415},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/igarss/McLureM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GoldmanBPMB16,
author = {Robert P. Goldman and
Daniel Bryce and
Michael J. S. Pelican and
David J. Musliner and
Kyungmin Bae},
editor = {Daniele Magazzeni and
Scott Sanner and
Sylvie Thi{\'{e}}baux},
title = {An Architecture for Hybrid Planning and Execution},
booktitle = {Planning for Hybrid Systems, Papers from the 2016 {AAAI} Workshop,
Phoenix, Arizona, USA, February 13, 2016},
series = {{AAAI} Technical Report},
volume = {{WS-16-12}},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12622},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GoldmanBPMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GoldmanBPMB16,
author = {Robert P. Goldman and
Daniel Bryce and
Michael J. S. Pelican and
David J. Musliner and
Kyungmin Bae},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {A Hybrid Architecture for Correct-by-Construction Hybrid Planning
and Control},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {388--394},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_29},
doi = {10.1007/978-3-319-40648-0\_29},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/GoldmanBPMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BryceGMG15,
author = {Daniel Bryce and
Sicun Gao and
David J. Musliner and
Robert P. Goldman},
editor = {Blai Bonet and
Sven Koenig},
title = {SMT-Based Nonlinear {PDDL+} Planning},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {3247--3253},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9646},
doi = {10.1609/AAAI.V29I1.9646},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BryceGMG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/FriedmanM15,
author = {Scott E. Friedman and
David J. Musliner},
title = {Automatically Repairing Stripped Executables with {CFG} Microsurgery},
booktitle = {2015 {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASO} Workshops 2015, Cambridge, MA, USA, September
21-25, 2015},
pages = {102--107},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SASOW.2015.21},
doi = {10.1109/SASOW.2015.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/FriedmanM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GoldmanPM14,
author = {Robert P. Goldman and
Michael J. S. Pelican and
David J. Musliner},
title = {A loop acceleration technique to speed up verification of automatically
generated plans},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {1},
pages = {13--29},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0284-z},
doi = {10.1007/S10009-013-0284-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GoldmanPM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/PottsKTM13,
author = {Colin M. Potts and
Kurt D. Krebsbach and
Jordan Tyler Thayer and
David J. Musliner},
title = {Improving Trust Estimates in Planning Domains with Rare Failure Events},
booktitle = {Trust and Autonomous Systems, Papers from the 2013 {AAAI} Spring Symposium,
Palo Alto, California, USA, March 25-27, 2013},
series = {{AAAI} Technical Report},
volume = {{SS-13-07}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS13/paper/view/5798},
timestamp = {Thu, 17 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaaiss/PottsKTM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/BenyoPSPMMRBF13,
author = {Brett Benyo and
Partha P. Pal and
Richard E. Schantz and
Aaron Paulos and
David J. Musliner and
Tom Marble and
Jeffrey M. Rye and
Michael Boldt and
Scott E. Friedman},
title = {Automated Self-Adaptation for Cyber-Defense - Pushing Adaptive Perimeter
Protection Inward},
booktitle = {7th {IEEE} International Conference on Self-Adaptation and Self-Organizing
Systems Workshops, SASOW, 2013, Philadelphia, PA, USA, September 9-13,
2013},
pages = {47--52},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SASOW.2013.22},
doi = {10.1109/SASOW.2013.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/BenyoPSPMMRBF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/MuslinerFMRBP13,
author = {David J. Musliner and
Scott E. Friedman and
Tom Marble and
Jeffrey M. Rye and
Michael Boldt and
Michael J. S. Pelican},
title = {Self-Adaptation Metrics for Active Cybersecurity},
booktitle = {7th {IEEE} International Conference on Self-Adaptation and Self-Organizing
Systems Workshops, SASOW, 2013, Philadelphia, PA, USA, September 9-13,
2013},
pages = {53--58},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SASOW.2013.31},
doi = {10.1109/SASOW.2013.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/MuslinerFMRBP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/MuslinerFRM13,
author = {David J. Musliner and
Scott E. Friedman and
Jeffrey M. Rye and
Tom Marble},
title = {Meta-control for Adaptive Cybersecurity in {FUZZBUSTER}},
booktitle = {7th {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2013, Philadelphia, PA, USA, September 9-13, 2013},
pages = {219--226},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SASO.2013.29},
doi = {10.1109/SASO.2013.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/MuslinerFRM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/MuslinerRM12,
author = {David J. Musliner and
Jeffrey M. Rye and
Tom Marble},
title = {Using Concolic Testing to Refine Vulnerability Profiles in {FUZZBUSTER}},
booktitle = {Sixth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASOW} 2012, Lyon, France, September 10-14, 2012},
pages = {9--14},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SASOW.2012.12},
doi = {10.1109/SASOW.2012.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/MuslinerRM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/MuslinerRWMR12,
author = {David J. Musliner and
Jeffrey M. Rye and
Timothy Woods and
Tom Marble and
Kevin Raison},
title = {Automatic Self-Adaptation to Mitigate Software Vulnerabilities: {A}
Fuzzbuster Progress Report (Extended Abstract for Poster)},
booktitle = {Sixth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2012, Lyon, France, September 10-14, 2012},
pages = {235--236},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SASO.2012.46},
doi = {10.1109/SASO.2012.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/MuslinerRWMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/MillerSHEMVP11,
author = {Christopher A. Miller and
Tyler H. Shaw and
Joshua D. Hamell and
Adam Emfield and
David J. Musliner and
Ewart de Visser and
Raja Parasuraman},
editor = {Don Harris},
title = {Delegation to Automation: Performance and Implications in Non-optimal
Situations},
booktitle = {Engineering Psychology and Cognitive Ergonomics - 9th International
Conference, {EPCE} 2011, Held as Part of {HCI} International 2011,
Orlando, FL, USA, July 9-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6781},
pages = {322--331},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21741-8\_35},
doi = {10.1007/978-3-642-21741-8\_35},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/hci/MillerSHEMVP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/MuslinerRTMBR11,
author = {David J. Musliner and
Jeffrey M. Rye and
Dan Thomsen and
David D. McDonald and
Mark H. Burstein and
Paul Robertson},
title = {{FUZZBUSTER:} Towards Adaptive Immunity from Cyber Threats},
booktitle = {Fifth {IEEE} Conference on Self-Adaptive and Self-Organizing Systems,
{SASOW} 2011, Ann Arbor, MI, USA, October 3-7, 2011, Workshops Proceedings},
pages = {137--140},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SASOW.2011.26},
doi = {10.1109/SASOW.2011.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/MuslinerRTMBR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mit/11/AlexanderRM11,
author = {George Alexander and
Anita Raja and
David J. Musliner},
editor = {Michael T. Cox and
Anita Raja},
title = {Controlling Deliberation in Coordinators},
booktitle = {Metareasoning - Thinking about Thinking},
pages = {59--76},
publisher = {{MIT} Press},
year = {2011},
url = {https://doi.org/10.7551/mitpress/9780262014809.003.0005},
doi = {10.7551/MITPRESS/9780262014809.003.0005},
timestamp = {Wed, 17 Jul 2019 14:51:44 +0200},
biburl = {https://dblp.org/rec/books/mit/11/AlexanderRM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/MuslinerG10,
author = {David J. Musliner and
Robert P. Goldman},
title = {Priority-Based Meta-control within Hierarchical Task Network Planning},
booktitle = {Fourth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2010, Budapest, Hungary, 27-28 September 2010, Workshops
Proceedings},
pages = {282--286},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SASOW.2010.58},
doi = {10.1109/SASOW.2010.58},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/MuslinerG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/MuslinerPK09,
author = {David J. Musliner and
Michael J. S. Pelican and
Kurt D. Krebsbach},
editor = {Mike Barley and
Haralambos Mouratidis and
Amy Unruh and
Diana F. Spears and
Paul Scerri and
Fabio Massacci},
title = {Building Coordinated Real-Time Control Plans},
booktitle = {Safety and Security in Multiagent Systems - Research Results from
2004-2006},
series = {Lecture Notes in Computer Science},
volume = {4324},
pages = {116--129},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04879-1\_9},
doi = {10.1007/978-3-642-04879-1\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/MuslinerPK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/MuslinerPGKD08,
author = {David J. Musliner and
Michael J. S. Pelican and
Robert P. Goldman and
Kurt D. Krebsbach and
Edmund H. Durfee},
title = {The Evolution of CIRCA, a Theory-Based {AI} Architecture with Real-Time
Performance Guarantees},
booktitle = {Architectures for Intelligent Theory-Based Agents, Papers from the
2008 {AAAI} Spring Symposium, Technical Report SS-08-02, Stanford,
California, USA, March 26-28, 2008},
pages = {43--48},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/Symposia/Spring/2008/ss08-02-008.php},
timestamp = {Fri, 17 Feb 2012 14:17:25 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/MuslinerPGKD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AlexanderRM08,
author = {George Alexander and
Anita Raja and
David J. Musliner},
editor = {Lin Padgham and
David C. Parkes and
J{\"{o}}rg P. M{\"{u}}ller and
Simon Parsons},
title = {Controlling deliberation in a Markov decision process-based agent},
booktitle = {7th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Volume
1},
pages = {461--468},
publisher = {{IFAAMAS}},
year = {2008},
url = {https://dl.acm.org/citation.cfm?id=1402450},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/AlexanderRM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/GoldmanMBDW07,
author = {Robert P. Goldman and
David J. Musliner and
Mark S. Boddy and
Edmund H. Durfee and
Jianhui Wu},
title = {"Unrolling" Complex Task Models into MDPs},
booktitle = {Game Theoretic and Decision Theoretic Agents, Papers from the 2007
{AAAI} Spring Symposium, Technical Report SS-07-02, Stanford, California,
USA, March 26-28, 2007},
pages = {23--30},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-02-004.php},
timestamp = {Mon, 07 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/GoldmanMBDW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/AbeckerABBDFGGLLMMMNNSSSSSSW06,
author = {Andreas Abecker and
Rachid Alami and
Chitta Baral and
Timothy W. Bickmore and
Edmund H. Durfee and
Terry Fong and
Mehmet H. G{\"{o}}ker and
Nancy L. Green and
Mark Liberman and
Christian Lebiere and
James H. Martin and
Gregoris Mentzas and
David J. Musliner and
Nicolas Nicolov and
Illah R. Nourbakhsh and
Franco Salvetti and
Daniel G. Shapiro and
Debbie Schrekenghost and
Amit P. Sheth and
Ljiljana Stojanovic and
Vytas SunSpiral and
Robert E. Wray},
title = {{AAAI} 2006 Spring Symposium Reports},
journal = {{AI} Mag.},
volume = {27},
number = {3},
pages = {107--112},
year = {2006},
url = {https://doi.org/10.1609/aimag.v27i3.1898},
doi = {10.1609/AIMAG.V27I3.1898},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/AbeckerABBDFGGLLMMMNNSSSSSSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/DurfeeM06,
author = {Edmund H. Durfee and
David J. Musliner},
title = {Organizing Committee},
booktitle = {Distributed Plan and Schedule Management, Papers from the 2006 {AAAI}
Spring Symposium, Technical Report SS-06-04, Stanford, California,
USA, March 27-29, 2006},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-04-031.php},
timestamp = {Sat, 18 Feb 2012 12:29:46 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/DurfeeM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/DurfeeM06a,
author = {Edmund H. Durfee and
David J. Musliner},
title = {Preface},
booktitle = {Distributed Plan and Schedule Management, Papers from the 2006 {AAAI}
Spring Symposium, Technical Report SS-06-04, Stanford, California,
USA, March 27-29, 2006},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-04-001.php},
timestamp = {Sat, 18 Feb 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/DurfeeM06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/MuslinerDWDGB06,
author = {David J. Musliner and
Edmund H. Durfee and
Jianhui Wu and
Dmitri A. Dolgov and
Robert P. Goldman and
Mark S. Boddy},
title = {Coordinated Plan Management Using Multiagent MDPs},
booktitle = {Distributed Plan and Schedule Management, Papers from the 2006 {AAAI}
Spring Symposium, Technical Report SS-06-04, Stanford, California,
USA, March 27-29, 2006},
pages = {73--80},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-04-011.php},
timestamp = {Mon, 07 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/MuslinerDWDGB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/KrebsbachM05,
author = {Kurt D. Krebsbach and
David J. Musliner},
title = {Projection and Reaction for Decision Support in Refineries: Combining
Multiple Theories},
booktitle = {Challenges to Decision Support in a Changing World, Papers from the
2005 {AAAI} Spring Symposium, Technical Report SS-05-02, Stanford,
California, USA, March 21-23, 2005},
pages = {60--65},
publisher = {{AAAI}},
year = {2005},
url = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-02-012.php},
timestamp = {Sat, 18 Feb 2012 12:25:57 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/KrebsbachM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/metacognition/MuslinerGK05,
author = {David J. Musliner and
Robert P. Goldman and
Kurt D. Krebsbach},
editor = {Mike Anderson and
Tim Oates},
title = {Deliberation scheduling strategies for adaptive mission planning in
real-time environments},
booktitle = {2005 {AAAI} Spring Symposium on Metacognition in Computation, March
21-23 2005, Stanford, California, {USA}},
series = {{AAAI} Technical Report},
volume = {{SS-05-04}},
pages = {98--105},
publisher = {{AAAI} Press},
year = {2005},
timestamp = {Sun, 16 Oct 2022 14:19:57 +0200},
biburl = {https://dblp.org/rec/conf/metacognition/MuslinerGK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MuslinerPG06,
author = {David J. Musliner and
Michael J. S. Pelican and
Robert P. Goldman},
editor = {Charles Pecheur and
Brian Williams},
title = {Incremental Verification for On-the-Fly Controller Synthesis},
booktitle = {Proceedings of the Third Workshop on Model Checking and Artificial
Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August
27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {149},
number = {2},
pages = {71--90},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.027},
doi = {10.1016/J.ENTCS.2005.07.027},
timestamp = {Thu, 15 Dec 2022 15:43:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MuslinerPG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GoldmanPM04,
author = {Robert P. Goldman and
Michael J. S. Pelican and
David J. Musliner},
editor = {Shlomo Zilberstein and
Jana Koehler and
Sven Koenig},
title = {Guiding Planner Backjumping Using Verifier Traces},
booktitle = {Proceedings of the Fourteenth International Conference on Automated
Planning and Scheduling {(ICAPS} 2004), June 3-7 2004, Whistler, British
Columbia, Canada},
pages = {279--286},
publisher = {{AAAI}},
year = {2004},
url = {http://www.aaai.org/Library/ICAPS/2004/icaps04-034.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/GoldmanPM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/YounesMS03,
author = {H{\aa}kan L. S. Younes and
David J. Musliner and
Reid G. Simmons},
editor = {Enrico Giunchiglia and
Nicola Muscettola and
Dana S. Nau},
title = {A Framework for Planning in Continuous-time Stochastic Domains},
booktitle = {Proceedings of the Thirteenth International Conference on Automated
Planning and Scheduling {(ICAPS} 2003), June 9-13, 2003, Trento, Italy},
pages = {195--204},
publisher = {{AAAI}},
year = {2003},
url = {http://www.aaai.org/Library/ICAPS/2003/icaps03-020.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/YounesMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discex/Musliner03,
author = {David J. Musliner},
title = {{CIRCADIA} Demonstration: Active Adaptive Defense},
booktitle = {3rd {DARPA} Information Survivability Conference and Exposition {(DISCEX-III}
2003), 22-24 April 2003, Washington, DC, {USA}},
pages = {30--31},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/DISCEX.2003.1194905},
doi = {10.1109/DISCEX.2003.1194905},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/discex/Musliner03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/HaM03,
author = {Vu A. Ha and
David J. Musliner},
title = {Balancing Safety Against Performance: Tradeoffs in Internet Security},
booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36}
2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island,
HI, {USA}},
pages = {205},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HICSS.2003.1174465},
doi = {10.1109/HICSS.2003.1174465},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/HaM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GoldmanMP02,
author = {Robert P. Goldman and
David J. Musliner and
Michael J. S. Pelican},
editor = {Claire J. Tomlin and
Mark R. Greenstreet},
title = {Exploiting Implicit Representations in Timed Automaton Verification
for Controller Synthesis},
booktitle = {Hybrid Systems: Computation and Control, 5th International Workshop,
{HSCC} 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2289},
pages = {225--238},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45873-5\_19},
doi = {10.1007/3-540-45873-5\_19},
timestamp = {Thu, 26 Nov 2020 09:12:16 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/GoldmanMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/DeshpandeMTG01,
author = {Ranjana G. Deshpande and
David J. Musliner and
Jorge E. Tierno and
Robert P. Goldman},
title = {Modifying {HYTECH} to automatically synthesize hybrid controllers},
booktitle = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
FL, USA, 4-7 Dec., 2001},
pages = {1223--1228},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/.2001.981052},
doi = {10.1109/.2001.981052},
timestamp = {Thu, 13 Oct 2022 17:08:41 +0200},
biburl = {https://dblp.org/rec/conf/cdc/DeshpandeMTG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/MuslinerGP01,
author = {David J. Musliner and
Robert P. Goldman and
Michael J. S. Pelican},
title = {Planning with increasingly complex executive models},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2001: Expanding the Societal Role of Robotics in the the Next
Millennium, Maui, HI, USA, October 29 - November 3, 2001},
pages = {2124--2130},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/IROS.2001.976385},
doi = {10.1109/IROS.2001.976385},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/MuslinerGP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsas/GoldmanMK01,
author = {Robert P. Goldman and
David J. Musliner and
Kurt D. Krebsbach},
editor = {Robert Laddaga and
Paul Robertson and
Howard E. Shrobe},
title = {Managing Online Self-adaptation in Real-Time Environments},
booktitle = {Self-Adaptive Software, Second International Workshop, {IWSAS} 2001,
Balatonf{\"{u}}red, Hungary, May 17-19, 2001 Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2614},
pages = {6--23},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-36554-0\_2},
doi = {10.1007/3-540-36554-0\_2},
timestamp = {Fri, 11 Dec 2020 15:37:35 +0100},
biburl = {https://dblp.org/rec/conf/iwsas/GoldmanMK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/CoferEGMV01,
author = {Darren D. Cofer and
Eric Engstrom and
Robert P. Goldman and
David J. Musliner and
Steve Vestal},
editor = {Matthew B. Dwyer},
title = {Applications of Model Checking at Honeywell Laboratories},
booktitle = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
Canada, May 19-20, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2057},
pages = {296--303},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45139-0\_19},
doi = {10.1007/3-540-45139-0\_19},
timestamp = {Thu, 02 Jun 2022 12:33:45 +0200},
biburl = {https://dblp.org/rec/conf/spin/CoferEGMV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/MuslinerPDGVMGKZZ00,
author = {David J. Musliner and
Barney Pell and
Wolff Dobson and
Kai Goebel and
Gautam Biswas and
Sheila A. McIlraith and
Giuseppina C. Gini and
Sven Koenig and
Shlomo Zilberstein and
Weixiong Zhang},
title = {Reports on the {AAAI} Spring Symposia (March 1999)},
journal = {{AI} Mag.},
volume = {21},
number = {2},
pages = {79--84},
year = {2000},
url = {https://doi.org/10.1609/aimag.v21i2.1510},
doi = {10.1609/AIMAG.V21I2.1510},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/MuslinerPDGVMGKZZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/MuslinerGP00,
author = {David J. Musliner and
Robert P. Goldman and
Michael J. S. Pelican},
title = {Using Model Checking to Guarantee Safety in Automatically-Synthesized
Real-Time Controllers},
booktitle = {Proceedings of the 2000 {IEEE} International Conference on Robotics
and Automation, {ICRA} 2000, April 24-28, 2000, San Francisco, CA,
{USA}},
pages = {95--101},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/ROBOT.2000.844045},
doi = {10.1109/ROBOT.2000.844045},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/MuslinerGP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/SimmonsAFGHMPT00,
author = {Reid G. Simmons and
David Apfelbaum and
Dieter Fox and
Robert P. Goldman and
Karen Zita Haigh and
David J. Musliner and
Michael J. S. Pelican and
Sebastian Thrun},
title = {Coordinated deployment of multiple, heterogeneous robots},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2000, October 30 - Novemver 5, 2000, Takamatsu, Japan},
pages = {2254--2260},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/IROS.2000.895304},
doi = {10.1109/IROS.2000.895304},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/SimmonsAFGHMPT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsas/Musliner00,
author = {David J. Musliner},
editor = {Paul Robertson and
Howard E. Shrobe and
Robert Laddaga},
title = {Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis},
booktitle = {Self-Adaptive Software, First International Workshop, {IWSAS} 2000,
Oxford, UK, April 17-19, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1936},
pages = {143--160},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44584-6\_12},
doi = {10.1007/3-540-44584-6\_12},
timestamp = {Fri, 11 Dec 2020 15:37:35 +0100},
biburl = {https://dblp.org/rec/conf/iwsas/Musliner00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/MuslinerGPK99,
author = {David J. Musliner and
Robert P. Goldman and
Michael J. S. Pelican and
Kurt D. Krebsbach},
title = {Self-adaptive software for hard real-time environments},
journal = {{IEEE} Intell. Syst.},
volume = {14},
number = {4},
pages = {23--29},
year = {1999},
url = {https://doi.org/10.1109/5254.784081},
doi = {10.1109/5254.784081},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/MuslinerGPK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/MilojicicMS98,
author = {Dejan S. Milojicic and
David J. Musliner and
Wolfgang Schr{\"{o}}der{-}Preikschat},
title = {Agents: Mobility and Communication},
booktitle = {Thirty-First Annual Hawaii International Conference on System Sciences,
Kohala Coast, Hawaii, USA, January 6-9, 1998},
pages = {2--3},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/HICSS.1998.649154},
doi = {10.1109/HICSS.1998.649154},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/MilojicicMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MuslinerB97,
author = {David J. Musliner and
Mark S. Boddy},
editor = {Eugene C. Freuder},
title = {Contract-Based Distributed Scheduling for Distributed Processing},
booktitle = {Constraints {\&} Agents: Collected Papers from the 1997 {AAAI}
Workshop, Providence, RI, USA, July 27, 1997},
pages = {118--128},
publisher = {{AAAI} Press},
year = {1997},
timestamp = {Fri, 19 May 2023 15:58:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MuslinerB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GoldmanMKB97,
author = {Robert P. Goldman and
David J. Musliner and
Kurt D. Krebsbach and
Mark S. Boddy},
editor = {Benjamin Kuipers and
Bonnie L. Webber},
title = {Dynamic Abstraction Planning},
booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence
and Ninth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island,
{USA}},
pages = {680--686},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1997},
url = {http://www.aaai.org/Library/AAAI/1997/aaai97-106.php},
timestamp = {Tue, 05 Sep 2023 08:53:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GoldmanMKB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MuslinerM96,
author = {David J. Musliner and
Christopher A. Miller},
title = {Agent and Task Modeling at Honeywell},
booktitle = {Agent Modeling, Papers from the 1996 {AAAI} Workshop},
pages = {112},
publisher = {{AAAI} Press},
year = {1996},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/MuslinerM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KohoutHM96,
author = {Robert C. Kohout and
James A. Hendler and
David J. Musliner},
editor = {William J. Clancey and
Daniel S. Weld},
title = {Guaranteeing Safety in Spatially Situated Agents},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
2},
pages = {909--914},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-135.php},
timestamp = {Tue, 05 Sep 2023 08:53:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KohoutHM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MuslinerDS95,
author = {David J. Musliner and
Edmund H. Durfee and
Kang G. Shin},
title = {World Modeling for the Dynamic Construction of Real-Time Control Plans},
journal = {Artif. Intell.},
volume = {74},
number = {1},
pages = {83--127},
year = {1995},
url = {https://doi.org/10.1016/0004-3702(94)00008-O},
doi = {10.1016/0004-3702(94)00008-O},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/MuslinerDS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MuslinerHADSP95,
author = {David J. Musliner and
James A. Hendler and
Ashok K. Agrawala and
Edmund H. Durfee and
Jay K. Strosnider and
C. J. Paul},
title = {The Challenges of Real-Time All},
journal = {Computer},
volume = {28},
number = {1},
pages = {58--66},
year = {1995},
url = {https://doi.org/10.1109/2.362628},
doi = {10.1109/2.362628},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/MuslinerHADSP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Musliner94,
author = {David J. Musliner},
editor = {Barbara Hayes{-}Roth and
Richard E. Korf},
title = {Using Abstraction and Nondeterminism to Plan Reaction Loops},
booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence,
Seattle, WA, USA, July 31 - August 4, 1994, Volume 2},
pages = {1036--1041},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1994},
url = {http://www.aaai.org/Library/AAAI/1994/aaai94-159.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Musliner94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Musliner93,
author = {David J. Musliner},
title = {{CIRCA:} The Cooperative Intelligent Real-time Control Architecture},
school = {University of Michigan, {USA}},
year = {1993},
url = {https://hdl.handle.net/2027.42/103819},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Musliner93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/MuslinerDS93,
author = {David J. Musliner and
Edmund H. Durfee and
Kang G. Shin},
title = {{CIRCA:} a cooperative intelligent real-time control architecture},
journal = {{IEEE} Trans. Syst. Man Cybern.},
volume = {23},
number = {6},
pages = {1561--1574},
year = {1993},
url = {https://doi.org/10.1109/21.257754},
doi = {10.1109/21.257754},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/MuslinerDS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscw/MuslinerDS92,
author = {David J. Musliner and
James W. Dolter and
Kang G. Shin},
editor = {Marilyn M. Mantei and
Ronald Baecker},
title = {B\emph{IB}D\emph{B}: {A} Bibliographic Database for Collaboration},
booktitle = {{CSCW} '92, Proceedings of the Conference on Computer Supported Cooperative
Work, Toronto, Canada, October 31 - November 4, 1992},
pages = {386--393},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/143457.143554},
doi = {10.1145/143457.143554},
timestamp = {Wed, 14 Jul 2021 16:31:12 +0200},
biburl = {https://dblp.org/rec/conf/cscw/MuslinerDS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
