:facetid:toc:\"db/conf/aaai/hybrid2016.bht\"OK:facetid:toc:db/conf/aaai/hybrid2016.bhtDaniel BryceA Happening-Based Encoding for Nonlinear PDDL+ Planning.AAAI Workshop - Planning for Hybrid Systems2016Conference and Workshop Papersunavailableconf/aaai/Bryce16http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12637https://dblp.org/rec/conf/aaai/Bryce16URL#3198893Michael CashmoreMaria Fox 0001Derek LongDaniele MagazzeniA Compilation of the Full PDDL+ Language into SMT.AAAI Workshop - Planning for Hybrid Systems2016Conference and Workshop Papersunavailableconf/aaai/CashmoreFLM16http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12589https://dblp.org/rec/conf/aaai/CashmoreFLM16URL#3198909Robert P. GoldmanDaniel BryceMichael J. S. PelicanDavid J. MuslinerKyungmin BaeAn Architecture for Hybrid Planning and Execution.AAAI Workshop - Planning for Hybrid Systems2016Conference and Workshop Papersunavailableconf/aaai/GoldmanBPMB16http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12622https://dblp.org/rec/conf/aaai/GoldmanBPMB16URL#3199021Bardh HoxhaGeorgios FainekosPlanning in Dynamic Environments Through Temporal Logic Monitoring.AAAI Workshop - Planning for Hybrid Systems2016Conference and Workshop Papersunavailableconf/aaai/HoxhaF16http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12556https://dblp.org/rec/conf/aaai/HoxhaF16URL#3199076Robert Morris 0004Corina S. PasareanuKasper Søe LuckowWaqar MalikHang Ma 0001T. K. Satish KumarSven KoenigPlanning, Scheduling and Monitoring for Airport Surface Operations.AAAI Workshop - Planning for Hybrid Systems2016Conference and Workshop Papersunavailableconf/aaai/MorrisPLMMKK16http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12611https://dblp.org/rec/conf/aaai/MorrisPLMMKK16URL#3199268Wiktor Mateusz PiotrowskiMaria Fox 0001Derek LongDaniele MagazzeniFabio MercorioHeuristic Planning for PDDL+ Domains.AAAI Workshop - Planning for Hybrid Systems2016Conference and Workshop Papersunavailableconf/aaai/PiotrowskiFLMM16ahttp://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12607https://dblp.org/rec/conf/aaai/PiotrowskiFLMM16aURL#3199322Fedor ShmarovPaolo ZulianiSMT-Based Reasoning for Uncertain Hybrid Domains.AAAI Workshop - Planning for Hybrid Systems2016Conference and Workshop Papersunavailableconf/aaai/ShmarovZ16http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12642https://dblp.org/rec/conf/aaai/ShmarovZ16URL#3199387Son Thanh ToMark RobertsThomas ApkerBenjamin Johnson 0003David W. AhaMixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning.AAAI Workshop - Planning for Hybrid Systems2016Conference and Workshop Papersunavailableconf/aaai/ToRAJA16http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12674https://dblp.org/rec/conf/aaai/ToRAJA16URL#3199427Tony T. TranZhihui Wang 0012Minh DoEleanor Gilbert RieffelJeremy FrankBryan O'GormanDavide VenturelliJ. Christopher BeckExplorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem.AAAI Workshop - Planning for Hybrid Systems2016Conference and Workshop Papersunavailableconf/aaai/TranWDRFOVB16http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12664https://dblp.org/rec/conf/aaai/TranWDRFOVB16URL#3199432Martina TroeschSteve A. ChienYi ChaoJohn D. FarraraActive Control of Marine Vehicles in the Presence of Strong, Dynamic, Uncertain Currents.AAAI Workshop - Planning for Hybrid Systems2016Conference and Workshop Papersunavailableconf/aaai/TroeschCCF16http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12667https://dblp.org/rec/conf/aaai/TroeschCCF16URL#3199433Daniele MagazzeniScott SannerSylvie ThiébauxPlanning for Hybrid Systems, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016.AAAI Workshop - Planning for Hybrid SystemsAAAI Technical ReportWS-16-12AAAI Press2016Editorshipunavailableconf/aaai/2016hybridhttp://www.aaai.org/Library/Workshops/ws16-12.phphttps://dblp.org/rec/conf/aaai/2016hybridURL#3360392