Page 46 - Fister jr., Iztok, Andrej Brodnik, Matjaž Krnc and Iztok Fister (eds.). StuCoSReC. Proceedings of the 2019 6th Student Computer Science Research Conference. Koper: University of Primorska Press, 2019
P. 46
Signal Temporal Logic Specifications In 1st and 2nd
International Workshop on Applied verification for
Continuous and Hybrid Systems, 2015
[7] S. Coogan and M. Arcak. Freeway traffic control from linear
temporal logic specifications In 2014 ACM/IEEE
International Conference on Cyber-Physical Systems
(ICCPS), Berlin, 2014, pp. 36-47.
[8] N. Mehr, D. Sadigh, R. Horowitz, S. S. Sastry and S. A.
Seshia. Stochastic predictive freeway ramp metering from
Signal Temporal Logic specifications In 2017 American
Control Conference (ACC), Seattle, WA, 2017, pp.
4884-4889.
[9] S. Karaman, and E. Frazzoli. Linear temporal logic vehicle
routing with applications to multi-UAV mission planning.
International Journal of Robust and Nonlinear Control,
21:1372–1395, 2011.
[10] C. I. Vasile, and C. Belta. Sampling-Based Temporal Logic
Path Planning. In Proceedings of the 2013 IEEE/RSJ
International Conference on Intelligent Robots and Systems
(IROS), 4817-4822, 2013.
[11] Z. Liu, J. Dai, B. Wu, and H. Lin. Communication-aware
Motion Planning for Multi-agent Systems from Signal
Temporal Logic Specifications. In Proceedings of the 2017
American Control Conference, 2516-2521, 2017.
StuCoSReC Proceedings of the 2019 6th Student Computer Science Research Conference 46
Koper, Slovenia, 10 October
International Workshop on Applied verification for
Continuous and Hybrid Systems, 2015
[7] S. Coogan and M. Arcak. Freeway traffic control from linear
temporal logic specifications In 2014 ACM/IEEE
International Conference on Cyber-Physical Systems
(ICCPS), Berlin, 2014, pp. 36-47.
[8] N. Mehr, D. Sadigh, R. Horowitz, S. S. Sastry and S. A.
Seshia. Stochastic predictive freeway ramp metering from
Signal Temporal Logic specifications In 2017 American
Control Conference (ACC), Seattle, WA, 2017, pp.
4884-4889.
[9] S. Karaman, and E. Frazzoli. Linear temporal logic vehicle
routing with applications to multi-UAV mission planning.
International Journal of Robust and Nonlinear Control,
21:1372–1395, 2011.
[10] C. I. Vasile, and C. Belta. Sampling-Based Temporal Logic
Path Planning. In Proceedings of the 2013 IEEE/RSJ
International Conference on Intelligent Robots and Systems
(IROS), 4817-4822, 2013.
[11] Z. Liu, J. Dai, B. Wu, and H. Lin. Communication-aware
Motion Planning for Multi-agent Systems from Signal
Temporal Logic Specifications. In Proceedings of the 2017
American Control Conference, 2516-2521, 2017.
StuCoSReC Proceedings of the 2019 6th Student Computer Science Research Conference 46
Koper, Slovenia, 10 October
