Multi-Agent Safety Verification using Symmetry Transformations
189
References
1. Althoff, M.: An introduction to cora 2015. In: Proc. of the Workshop on Applied Verification
for Continuous and Hybrid Systems (2015)
2. Althoff, M., Dolan, J.M.: Online verification of automated road vehicles
using reachability analysis. IEEE Trans. Robotics 30(4), 903–918 (2014).
https://doi.org/10.1109/TRO.2014.2312453
3. Bak, S., Duggirala, P.S.: Hylaa: A tool for computing simulation-equivalent reachability for
linear systems. In: Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control. pp. 173–178. ACM (2017)
4. Bak, S., Tran, H., Johnson, T.T.: Numerical verification of affine systems with up to a billion
dimensions. In: Proceedings of the 22nd ACM International Conference on Hybrid Systems:
Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. pp. 23–32
(2019). https://doi.org/10.1145/3302504.3311792
5. Bonnabel, S., Martin, P., Rouchon, P.: Symmetry-preserving observers. IEEE Transactions on
Automatic Control 53(11), 2514–2526 (2008)
6. Chen, X.: Reachability analysis of non-linear hybrid systems using taylor models (2015)
7. Chen, X., Ábrahám, E., Sankaranarayanan, S.: Flow*: An analyzer for non-linear hybrid
systems. In: Sharygina, N., Veith, H. (eds.) Computer Aided Verification, Lecture Notes in
Computer Science, vol. 8044, pp. 258–263. Springer Berlin Heidelberg (2013)
8. Chen, X., Ábrahám, E., Sankaranarayanan, S.: Flow*: An analyzer for non-linear hybrid
systems. In: Sharygina, N., Veith, H. (eds.) Computer Aided Verification, Lecture Notes in
Computer Science, vol. 8044, pp. 258–263. Springer Berlin Heidelberg (2013)
9. Donzé, A.: Breach, a toolbox for verification and parameter synthesis of hybrid systems. In:
Computer Aided Verification (CAV 2010), Lecture Notes in Computer Science, vol. 6174, pp.
167–170. Springer (2010)
10. Donzé, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Hybrid Systems:
Computation and Control, pp. 174–189. Springer (2007)
11. Duggirala, P.S., Fan, C., Mitra, S., Viswanathan, M.: Meeting a powertrain verification
challenge. In: Computer Aided Verification - 27th International Conference, CAV 2015,
San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. pp. 536–543 (2015).
https://doi.org/10.1007/978-3-319-21690-4_37
12. Duggirala, P.S., Mitra, S., Viswanathan, M.: Verification of annotated models from executions.
In: EMSOFT (2013)
13. Duggirala, P.S., Mitra, S., Viswanathan, M., Potok, M.: C2e2: A verification tool for stateflow
models. In: Baier, C., Tinelli, C. (eds.) Tools and Algorithms for the Construction and Analysis
of Systems. pp. 68–82. Springer Berlin Heidelberg, Berlin, Heidelberg (2015)
14. Duggirala, P.S., Viswanathan, M.: Parsimonious, simulation based verification of linear systems. In: Computer Aided Verification - 28th International Conference, CAV
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. pp. 477–494 (2016).
https://doi.org/10.1007/978-3-319-41528-4_26
15. Fan, C., Kapinski, J., Jin, X., Mitra, S.: Locally optimal reach set over-approximation for
nonlinear systems. In: EMSOFT. pp. 6:1–6:10. ACM (2016)
16. Fan, C., Mitra, S.: Bounded verification with on-the-fly discrepancy computation. In: ATVA.
Lecture Notes in Computer Science, vol. 9364, pp. 446–463. Springer (2015)
17. Fan, C., Qi, B., Mitra, S.: Data-driven formal reasoning and their applications in
safety analysis of vehicle autonomy features. IEEE Design & Test 35(3), 31–38 (2018).
https://doi.org/10.1109/MDAT.2018.2799804
18. Fan, C., Qi, B., Mitra, S., Viswanathan, M.: Data-driven verification and compositional
reasoning for automotive systems. In: Computer Aided Verification. pp. 441–461. Springer
International Publishing (2017)
189
References
1. Althoff, M.: An introduction to cora 2015. In: Proc. of the Workshop on Applied Verification
for Continuous and Hybrid Systems (2015)
2. Althoff, M., Dolan, J.M.: Online verification of automated road vehicles
using reachability analysis. IEEE Trans. Robotics 30(4), 903–918 (2014).
https://doi.org/10.1109/TRO.2014.2312453
3. Bak, S., Duggirala, P.S.: Hylaa: A tool for computing simulation-equivalent reachability for
linear systems. In: Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control. pp. 173–178. ACM (2017)
4. Bak, S., Tran, H., Johnson, T.T.: Numerical verification of affine systems with up to a billion
dimensions. In: Proceedings of the 22nd ACM International Conference on Hybrid Systems:
Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. pp. 23–32
(2019). https://doi.org/10.1145/3302504.3311792
5. Bonnabel, S., Martin, P., Rouchon, P.: Symmetry-preserving observers. IEEE Transactions on
Automatic Control 53(11), 2514–2526 (2008)
6. Chen, X.: Reachability analysis of non-linear hybrid systems using taylor models (2015)
7. Chen, X., Ábrahám, E., Sankaranarayanan, S.: Flow*: An analyzer for non-linear hybrid
systems. In: Sharygina, N., Veith, H. (eds.) Computer Aided Verification, Lecture Notes in
Computer Science, vol. 8044, pp. 258–263. Springer Berlin Heidelberg (2013)
8. Chen, X., Ábrahám, E., Sankaranarayanan, S.: Flow*: An analyzer for non-linear hybrid
systems. In: Sharygina, N., Veith, H. (eds.) Computer Aided Verification, Lecture Notes in
Computer Science, vol. 8044, pp. 258–263. Springer Berlin Heidelberg (2013)
9. Donzé, A.: Breach, a toolbox for verification and parameter synthesis of hybrid systems. In:
Computer Aided Verification (CAV 2010), Lecture Notes in Computer Science, vol. 6174, pp.
167–170. Springer (2010)
10. Donzé, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Hybrid Systems:
Computation and Control, pp. 174–189. Springer (2007)
11. Duggirala, P.S., Fan, C., Mitra, S., Viswanathan, M.: Meeting a powertrain verification
challenge. In: Computer Aided Verification - 27th International Conference, CAV 2015,
San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. pp. 536–543 (2015).
https://doi.org/10.1007/978-3-319-21690-4_37
12. Duggirala, P.S., Mitra, S., Viswanathan, M.: Verification of annotated models from executions.
In: EMSOFT (2013)
13. Duggirala, P.S., Mitra, S., Viswanathan, M., Potok, M.: C2e2: A verification tool for stateflow
models. In: Baier, C., Tinelli, C. (eds.) Tools and Algorithms for the Construction and Analysis
of Systems. pp. 68–82. Springer Berlin Heidelberg, Berlin, Heidelberg (2015)
14. Duggirala, P.S., Viswanathan, M.: Parsimonious, simulation based verification of linear systems. In: Computer Aided Verification - 28th International Conference, CAV
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. pp. 477–494 (2016).
https://doi.org/10.1007/978-3-319-41528-4_26
15. Fan, C., Kapinski, J., Jin, X., Mitra, S.: Locally optimal reach set over-approximation for
nonlinear systems. In: EMSOFT. pp. 6:1–6:10. ACM (2016)
16. Fan, C., Mitra, S.: Bounded verification with on-the-fly discrepancy computation. In: ATVA.
Lecture Notes in Computer Science, vol. 9364, pp. 446–463. Springer (2015)
17. Fan, C., Qi, B., Mitra, S.: Data-driven formal reasoning and their applications in
safety analysis of vehicle autonomy features. IEEE Design & Test 35(3), 31–38 (2018).
https://doi.org/10.1109/MDAT.2018.2799804
18. Fan, C., Qi, B., Mitra, S., Viswanathan, M.: Data-driven verification and compositional
reasoning for automotive systems. In: Computer Aided Verification. pp. 441–461. Springer
International Publishing (2017)