Towards Plan Recognition in Hybrid Systems
暂无分享,去创建一个
Ivan Serina | Miquel Ramírez | Enrico Scala | Diego Aineto | Eva Onaindia | I. Serina | E. Onaindía | Diego Aineto | Miquel Ramírez | Enrico Scala
[1] Maria Fox,et al. Modelling Mixed Discrete-Continuous Domains for Planning , 2006, J. Artif. Intell. Res..
[2] Eva Onaindia,et al. Observation Decoding with Sensor Models: Recognition Tasks via Classical Planning , 2020, ICAPS.
[3] Patrik Haslum,et al. Interval-Based Relaxation for General Numeric Planning , 2016, ECAI.
[4] Alexandre M. Bayen,et al. VERIFICATION OF HYBRID SYSTEMS , 2004 .
[5] Jean-François Raskin,et al. An Introduction to Hybrid Automata , 2005, Handbook of Networked and Embedded Control Systems.
[6] Robert P. Goldman,et al. Plan, Activity, and Intent Recognition: Theory and Practice , 2014 .
[7] Paulo Tabuada,et al. Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .
[8] Sandra Carberry,et al. Techniques for Plan Recognition , 2001, User Modeling and User-Adapted Interaction.
[9] Hector Geffner,et al. Plan Recognition as Planning , 2009, IJCAI.
[10] Patrik Haslum,et al. Numeric Planning with Disjunctive Global Constraints via SMT , 2016, ICAPS.