Search dblp for Publications

export results for "toc:db/conf/aaai/hybrid2016.bht:"

 download as .bib file

@inproceedings{DBLP:conf/aaai/Bryce16,
  author       = {Daniel Bryce},
  editor       = {Daniele Magazzeni and
                  Scott Sanner and
                  Sylvie Thi{\'{e}}baux},
  title        = {A Happening-Based Encoding for Nonlinear {PDDL+} Planning},
  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/12637},
  timestamp    = {Tue, 05 Sep 2023 08:59:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Bryce16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/CashmoreFLM16,
  author       = {Michael Cashmore and
                  Maria Fox and
                  Derek Long and
                  Daniele Magazzeni},
  editor       = {Daniele Magazzeni and
                  Scott Sanner and
                  Sylvie Thi{\'{e}}baux},
  title        = {A Compilation of the Full {PDDL+} Language into {SMT}},
  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/12589},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/CashmoreFLM16.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 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GoldmanBPMB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/HoxhaF16,
  author       = {Bardh Hoxha and
                  Georgios Fainekos},
  editor       = {Daniele Magazzeni and
                  Scott Sanner and
                  Sylvie Thi{\'{e}}baux},
  title        = {Planning in Dynamic Environments Through Temporal Logic Monitoring},
  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/12556},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HoxhaF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/MorrisPLMMKK16,
  author       = {Robert Morris and
                  Corina S. Pasareanu and
                  Kasper S{\o}e Luckow and
                  Waqar Malik and
                  Hang Ma and
                  T. K. Satish Kumar and
                  Sven Koenig},
  editor       = {Daniele Magazzeni and
                  Scott Sanner and
                  Sylvie Thi{\'{e}}baux},
  title        = {Planning, Scheduling and Monitoring for Airport Surface Operations},
  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/12611},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MorrisPLMMKK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/PiotrowskiFLMM16a,
  author       = {Wiktor Mateusz Piotrowski and
                  Maria Fox and
                  Derek Long and
                  Daniele Magazzeni and
                  Fabio Mercorio},
  editor       = {Daniele Magazzeni and
                  Scott Sanner and
                  Sylvie Thi{\'{e}}baux},
  title        = {Heuristic Planning for {PDDL+} Domains},
  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/12607},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/PiotrowskiFLMM16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/ShmarovZ16,
  author       = {Fedor Shmarov and
                  Paolo Zuliani},
  editor       = {Daniele Magazzeni and
                  Scott Sanner and
                  Sylvie Thi{\'{e}}baux},
  title        = {SMT-Based Reasoning for Uncertain Hybrid Domains},
  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/12642},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ShmarovZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/ToRAJA16,
  author       = {Son Thanh To and
                  Mark Roberts and
                  Thomas Apker and
                  Benjamin Johnson and
                  David W. Aha},
  editor       = {Daniele Magazzeni and
                  Scott Sanner and
                  Sylvie Thi{\'{e}}baux},
  title        = {Mixed Propositional Metric Temporal Logic: {A} New Formalism for Temporal
                  Planning},
  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/12674},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ToRAJA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/TranWDRFOVB16,
  author       = {Tony T. Tran and
                  Zhihui Wang and
                  Minh Do and
                  Eleanor Gilbert Rieffel and
                  Jeremy Frank and
                  Bryan O'Gorman and
                  Davide Venturelli and
                  J. Christopher Beck},
  editor       = {Daniele Magazzeni and
                  Scott Sanner and
                  Sylvie Thi{\'{e}}baux},
  title        = {Explorations of Quantum-Classical Approaches to Scheduling a Mars
                  Lander Activity Problem},
  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/12664},
  timestamp    = {Mon, 11 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/TranWDRFOVB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/TroeschCCF16,
  author       = {Martina Troesch and
                  Steve A. Chien and
                  Yi Chao and
                  John D. Farrara},
  editor       = {Daniele Magazzeni and
                  Scott Sanner and
                  Sylvie Thi{\'{e}}baux},
  title        = {Active Control of Marine Vehicles in the Presence of Strong, Dynamic,
                  Uncertain Currents},
  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/12667},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/TroeschCCF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aaai/2016hybrid,
  editor       = {Daniele Magazzeni and
                  Scott Sanner and
                  Sylvie Thi{\'{e}}baux},
  title        = {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/Library/Workshops/ws16-12.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/2016hybrid.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.