References
- Baier C., Katoen J.P., Principles of model checking, MIT Press, 2008.
- Chen Z., Li L., Kan Z., Distributed Task Allocation and Planning under Temporal Logic and Communication Constraints, IEEE Robotics and Automation Letters, 9(7), 2024.
- Clarke E.M.M., Peled D., Grumberg O., Model checking, MIT Press, 1999.
- Ding X., Smith S.L., Belta C., Rus D., Optimal control of markov decision processes with linear temporal logic constraints, IEEE Transactions on Automatic Control, 59(5), 1244-1257, (2014).
- Fainekos G.E., Kress-Gazit H., Pappas G.J., Hybrid controllers for path planning: A temporal logic approach, Proc. of the 44th IEEE Conference on Decision and Control (CDC), IEEE, 4885-4890, (2005).
- Finkbeiner B., Geier G., Passing N., Specification decomposition for reactive synthesis, Innovations in Systems and Software Engineering, 19(4), 339-357, (2023).
- Gastin P. Oddoux D., Fast LTL to Büchi automata translation, Proc. of Computer Aided Verification: 13th International Conference (CAV), 2001, Springer Berlin Heidelberg, 53-65.
- Gonzalez R., Kloetzer M., Mahulea C., Comparative study of trajectories resulted from cell decomposition path planning approaches, Proc. of the 2017 21st International Conference on System Theory, Control and Computing (ICSTCC), 2017, IEEE, 49-54.
- Habets L.C.G.J.M., Collins P.J., van Schuppen J.H., Reachability and control synthesis for piecewiseaffine hybrid systems on simplices, IEEE Transactions on Automatic Control, 51(6), 938-948, (2006).
- Hustiu S., Hustiu I., Kloetzer M., Mahulea C., LTL task decomposition for 3D high-level path planning, Journal of Control Engineering and Applied Informatics, 23(3), 76-87, (2021).
- Hustiu I., Kloetzer M., Mahulea C., Distributed path planning of mobile robots with LTL specifications, Proc. of the 24th International Conference on System Theory, Control and Computing (ICSTCC), 2020, IEEE, 60-65.
- Hustiu I., Mahulea C., Kloetzer M., Distributing Co-safe LTL Specifications to Mobile Robots, Proc. of. the 26th International Conference on System Theory, Control and Computing (ICSTCC), 2022, IEEE, 306-311.
- Kloetzer M., Belta C., A fully automated framework for control of linear systems from temporal logic specifications, IEEE Transactions on Automatic Control 53(1), 287-297, (2008).
- Kloetzer M., Mahulea C., LTL-based planning in environments with probabilistic observations, IEEE Transactions on Automation Science and Engineering, 12(4), 1407-1420, (2015).
- Kloetzer M., Mahulea C., Path planning for robotic teams based on LTL specifications and Petri net models, Discrete Event Dynamic Systems 30, 55-79, 2020.
- Kupferman O., Vardi M.Y., Model checking of safety properties, Formal Methods in System Design, 19(3), 291-314, (2001).
- Mahulea C., Kloetzer M., González R., Path planning of cooperative mobile robots using discrete event models, John Wiley & Sons, 2020.
- Schillinger P., Bürger M., Dimarogonas D.V., Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems, The International Journal of Robotics Research, 37(7), 818-838, (2017).
- Thompson S., Horiuchi T., Kagami D., A probabilistic model of human motion and navigation intent for mobile robot path planning, Proc. in 4th International Conference on Autonomous Robots and Agents, 2009, IEEE, 663-668.
- Ulusoy A., Smith S.L., Ding X.C., Belta C., Robust multi-robot optimal path planning with temporal logic constraints, International Conference on Robotics and Automation, 2012, IEEE, 4693-4698.
- Van Der Aalst W., Process mining: data science in action. Vol. 2., Heidelberg: Springer, 2016.
- Yu P., Dimarogonas D.V., Distributed motion coordination for multirobot systems under LTL specifications, IEEE Transactions on Robotics, 38(2), 1047-1062, (2021).