[
Baier C., Katoen J.P., Principles of model checking, MIT Press, 2008.
]Search in Google Scholar
[
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.
]Search in Google Scholar
[
Clarke E.M.M., Peled D., Grumberg O., Model checking, MIT Press, 1999.
]Search in Google Scholar
[
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).
]Search in Google Scholar
[
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).
]Search in Google Scholar
[
Finkbeiner B., Geier G., Passing N., Specification decomposition for reactive synthesis, Innovations in Systems and Software Engineering, 19(4), 339-357, (2023).
]Search in Google Scholar
[
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.
]Search in Google Scholar
[
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.
]Search in Google Scholar
[
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).
]Search in Google Scholar
[
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).
]Search in Google Scholar
[
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.
]Search in Google Scholar
[
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.
]Search in Google Scholar
[
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).
]Search in Google Scholar
[
Kloetzer M., Mahulea C., LTL-based planning in environments with probabilistic observations, IEEE Transactions on Automation Science and Engineering, 12(4), 1407-1420, (2015).
]Search in Google Scholar
[
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.
]Search in Google Scholar
[
Kupferman O., Vardi M.Y., Model checking of safety properties, Formal Methods in System Design, 19(3), 291-314, (2001).
]Search in Google Scholar
[
Mahulea C., Kloetzer M., González R., Path planning of cooperative mobile robots using discrete event models, John Wiley & Sons, 2020.
]Search in Google Scholar
[
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).
]Search in Google Scholar
[
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.
]Search in Google Scholar
[
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.
]Search in Google Scholar
[
Van Der Aalst W., Process mining: data science in action. Vol. 2., Heidelberg: Springer, 2016.
]Search in Google Scholar
[
Yu P., Dimarogonas D.V., Distributed motion coordination for multirobot systems under LTL specifications, IEEE Transactions on Robotics, 38(2), 1047-1062, (2021).
]Search in Google Scholar
