Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints
暂无分享,去创建一个
[1] S. Kupferschmid,et al. Adapting an AI Planning Heuristic for Directed Model Checking , 2006, SPIN.
[2] Jörg Hoffmann,et al. The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables , 2003, J. Artif. Intell. Res..
[3] Alexander Ferrein,et al. Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions , 2018, AAAI Spring Symposia.
[4] Christel Baier,et al. Principles of model checking , 2008 .
[5] Esra Erdem,et al. Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution , 2012, Intell. Serv. Robotics.
[6] Stephen J. Garland,et al. Algorithm 97: Shortest path , 1962, Commun. ACM.
[7] Wang Yi,et al. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.
[8] A. Karimi,et al. Master‟s thesis , 2011 .
[9] Stefan Kowalewski,et al. HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis , 2017, NFM.
[10] Patricia Bouyer,et al. Are Timed Automata Updatable? , 2000, CAV.
[11] J. Christopher Beck,et al. Planning Modulo Theories: Extending the Planning Paradigm , 2012, ICAPS.
[12] Stavros Tripakis,et al. Checking Timed Büchi Automata Emptiness Efficiently , 2005, Formal Methods Syst. Des..
[13] Catherine Dufourd,et al. Timed automata and additive clock constraints , 2000, Information Processing Letters.
[14] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic , 2008, 25 Years of Model Checking.
[15] B. Nebel. The FF Planning System : Fast Plan Generation , 2011 .
[16] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.
[17] Kim G. Larsen,et al. Efficient On-the-Fly Algorithms for the Analysis of Timed Games , 2005, CONCUR.
[18] Satoshi Yamane,et al. The symbolic model-checking for real-time systems , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.
[19] Niklas Sörensson,et al. An Extensible SAT-solver , 2003, SAT.
[20] Jonathan Schaeffer,et al. Partial Pattern Databases , 2007, SARA.
[21] Bernhard Nebel,et al. Faster Than Uppaal? , 2008, CAV.
[22] Hiroaki Kitano,et al. RoboCup: The Robot World Cup Initiative , 1997, AGENTS '97.
[23] Volume 21 , 2002 .
[24] Christoph Scholl,et al. Fully Symbolic Model Checking for Timed Automata , 2011, MBMV.
[25] Stavros Tripakis,et al. Kronos: A Model-Checking Tool for Real-Time Systems , 1998, CAV.
[26] Sergiy Bogomolov,et al. Guided search for hybrid systems based on coarse-grained space abstractions , 2015, International Journal on Software Tools for Technology Transfer.
[27] Craig A. Knoblock,et al. PDDL-the planning domain definition language , 1998 .
[28] Peter Schüller,et al. A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks , 2016, AI Commun..
[29] Bernhard Nebel,et al. Planning with Semantic Attachments: An Object-Oriented View , 2012, ECAI.
[30] Bernhard Nebel,et al. Semantic Attachments for Domain-Independent Planning Systems , 2009, ICAPS.
[31] Paul Gastin,et al. Characterization of the Expressive Power of Silent Transitions in Timed Automata , 1998, Fundam. Informaticae.
[32] Martin Gebser,et al. clasp : A Conflict-Driven Answer Set Solver , 2007, LPNMR.
[33] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[34] Wolfram Burgard,et al. Towards Service Robots for Everyday Environments - Recent Advances in Designing Service Robots for Complex Tasks in Everyday Environments , 2012, Springer Tracts in Advanced Robotics.
[35] Esra Erdem,et al. Causal Reasoning for Planning and Coordination of Multiple Housekeeping Robots , 2011, LPNMR.
[36] Eugene Asarin,et al. As Soon as Possible: Time Optimal Control for Timed Automata , 1999, HSCC.
[37] Fausto Giunchiglia,et al. Planning as Model Checking , 1999, ECP.
[38] Robert Mattmüller,et al. Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning , 2009, ICAPS.
[39] Jun Sun,et al. Planning as Model Checking Tasks , 2012, 2012 35th Annual IEEE Software Engineering Workshop.
[40] David L. Dill,et al. Timing Assumptions and Verification of Finite-State Concurrent Systems , 1989, Automatic Verification Methods for Finite State Systems.
[41] Alexander Ferrein,et al. golog++ : An Integrative System Design , 2018, CogRob@KR.
[42] Kim G. Larsen,et al. Optimal Strategies in Priced Timed Game Automata , 2004, FSTTCS.
[43] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[44] Joël Ouaknine,et al. On the decidability of metric temporal logic , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
[45] Wang Yi,et al. Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.
[46] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[47] Stavros Tripakis,et al. On-the-fly symbolic model checking for real-time systems , 1997, Proceedings Real-Time Systems Symposium.
[48] Fausto Giunchiglia,et al. Planning via Model Checking: A Decision Procedure for AR , 1997, ECP.
[49] Kim G. Larsen,et al. Priced Timed Automata: Algorithms and Applications , 2004, FMCO.
[50] Olaf Stursberg,et al. Efficient synthesis of production schedules by optimization of timed automata , 2006 .
[51] Gerard J. Holzmann,et al. The SPIN Model Checker - primer and reference manual , 2003 .
[52] Danny Bøgsted Poulsen,et al. Concrete Delays for Symbolic Traces , 2010 .
[53] Heike Wehrheim,et al. Temporal Reconfiguration Plans for Self-Adaptive Systems , 2013, Software Engineering.
[54] J. van Leeuwen,et al. Theoretical Computer Science , 2003, Lecture Notes in Computer Science.
[55] Esra Erdem,et al. Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation , 2011, 2011 IEEE International Conference on Robotics and Automation.
[56] Fausto Giunchiglia,et al. NUSMV: a new symbolic model checker , 2000, International Journal on Software Tools for Technology Transfer.
[57] Christine Largouët,et al. Temporal Planning with Extended Timed Automata , 2016, 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI).
[58] Joël Ouaknine,et al. Model-Checking for Real-Time Systems , 1995, FCT.
[59] Rachid Alami,et al. aSyMov: A Planner That Deals with Intricate Symbolic and Geometric Problems , 2003, ISRR.
[60] Leslie Pack Kaelbling,et al. FFRob: An Efficient Heuristic for Task and Motion Planning , 2015, WAFR.
[61] Alexander Ferrein,et al. RoboCup Logistics League Sponsored by Festo: A Competitive Factory Automation Testbed , 2013, RoboCup.
[62] Wang Yi,et al. On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata , 2003, ICFEM.
[63] Gerhard Lakemeyer,et al. Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints , 2021, ArXiv.
[64] Thomas A. Henzinger,et al. HYTECH: the next generation , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[65] Gerhard Lakemeyer,et al. A Logic for Non-Terminating Golog Programs , 2008, KR.
[66] R. Backhouse,et al. Regular Algebra Applied to Path-finding Problems , 1975 .
[67] Tim Niemüller,et al. Knowledge-Based Instrumentation and Control for Competitive Industry-Inspired Robotic Domains , 2016, KI - Künstliche Intelligenz.
[68] Bart Selman,et al. Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.
[69] Gerhard Lakemeyer,et al. A Logic for Specifying Metric Temporal Constraints for Golog Programs , 2018, CogRob@KR.
[70] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[71] Pieter Abbeel,et al. Combined task and motion planning through an extensible planner-independent interface layer , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).
[72] Swarat Chaudhuri,et al. Incremental Task and Motion Planning: A Constraint-Based Approach , 2016, Robotics: Science and Systems.
[73] Olaf Stursberg,et al. Scheduling and planning with timed automata , 2006 .
[74] Gerhard Lakemeyer,et al. Situations, Si! Situation Terms, No! , 2004, KR.
[75] Farn Wang,et al. Efficient verification of timed automata with BDD-like data structures , 2004, International Journal on Software Tools for Technology Transfer.
[76] Kim G. Larsen,et al. Minimum-Cost Reachability for Priced Timed Automata , 2001, HSCC.
[77] Bernhard Nebel,et al. The FF Planning System: Fast Plan Generation Through Heuristic Search , 2011, J. Artif. Intell. Res..
[78] KoymansRon. Specifying real-time properties with metric temporal logic , 1990 .
[79] Alan J. Hu,et al. SAT Modulo Monotonic Theories , 2014, AAAI.
[80] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.