Fetching the paper…
Reading the bibliography…
There has been significant recent interest in devising verification techniques for learning-enabled controllers (LECs) that manage safety-critical systems.
Jordan, D., Smith, P., Smith, P.: Nonlinear ordinary differential equations: an introduction for scientists and engineers, vol. 10. Oxford University Press on Demand (2007)
2007
Earlier work this paper cites.
Tomas-Rodriguez, M., Banks, S.: Linear, Time-varying Approximations to Nonlinear Dynamical Systems: with Applications in Control and Optimization. Lecture Notes in Control and Information Sciences, Springer London (2010), https://books.google.com/books?id=IF-rTwHIz9cC
2010
Earlier work this paper cites.
Dreossi, T., Dang, T., Donzé, A., Kapinski, J., Jin, X., Deshmukh, J.V.: Efficient guiding strategies for testing of temporal properties of hybrid systems. In: NASA Formal Methods Symposium. pp. 127–142. Springer (2015)
2015
Earlier work this paper cites.
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)
2015
Earlier work this paper cites.
Garcia, J., Fernández, F.: A comprehensive survey on safe reinforcement learning. J. Mach. Learn. Res. 16
2015
Earlier work this paper cites.
Soudjani, S.E.Z., Gevaerts, C., Abate, A.: f a u s t 2 faust^{2} : Formal abstractions of uncountable-state stochastic processes. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. pp. 272–286. Springer (2015)
2015
Earlier work this paper cites.
2017
Earlier work this paper cites.
2017
Earlier work this paper cites.
2017
Earlier work this paper cites.
Katz, G., Barrett, C., Dill, D.L., Julian, K., Kochenderfer, M.J.: Reluplex: An efficient smt solver for verifying deep neural networks. In: Majumdar, R., Kunčak, V. (eds.) Computer Aided Verification. pp. 97–117. Springer International Publishing, Cham (2017)
2017
Earlier work this paper cites.
Pei, K., Cao, Y., Yang, J., Jana, S.: Deepxplore: Automated whitebox testing of deep learning systems. In: proceedings of the 26th Symposium on Operating Systems Principles. pp. 1–18 (2017)
2017
Earlier work this paper cites.
2017
Cited alongside, same era.
Fan, C., Mathur, U., Mitra, S., Viswanathan, M.: Controller synthesis made real: Reach-avoid specifications and linear dynamics. In: Chockler, H., Weissenbacher, G. (eds.) Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Lecture Notes in Computer Science, vol. 10981, pp. 347–366. Springer (2018). https://doi.org/10.1007/978-3-319-96145-3_19, https://doi.org/10.1007/978-3-319-96145-3˙19
2018
Cited alongside, same era.
2018
Cited alongside, same era.
Vinod, A.P., Gleason, J.D., Oishi, M.M.K.: SReachTools: A MATLAB Stochastic Reachability Toolbox, p. 33–38. Association for Computing Machinery, New York, NY, USA (2019), https://doi.org/10.1145/3302504.3311809
2019
Later among the works it cites.
Zhu, H., Xiong, Z., Magill, S., Jagannathan, S.: An inductive synthesis framework for verifiable reinforcement learning. In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 686–701 (2019)
2019
Later among the works it cites.
Anderson, G., Verma, A., Dillig, I., Chaudhuri, S.: Neurosymbolic reinforcement learning with formally verified exploration. Advances in Neural Information Processing Systems 33
2020
Later among the works it cites.
Li, S., Bastani, O.: Robust model predictive shielding for safe reinforcement learning with stochastic dynamics. In: 2020 IEEE International Conference on Robotics and Automation (ICRA). pp. 7166–7172. IEEE (2020)
2020
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Toro Icarte, R., Klassen, T.Q., Valenzano, R., McIlraith, S.A.: Teaching multiple tasks to an rl agent using ltl. In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems. pp. 452–461 (2018)
2018
Cited alongside, same era.
Camacho, A., Icarte, R.T., Klassen, T.Q., Valenzano, R.A., McIlraith, S.A.: Ltl and beyond: Formal languages for reward function specification in reinforcement learning. In: IJCAI. vol. 19, pp. 6065–6073 (2019)
2019
Cited alongside, same era.
Dreossi, T., Donzé, A., Seshia, S.A.: Compositional falsification of cyber-physical systems with machine learning components. Journal of Automated Reasoning 63
2019
Cited alongside, same era.
Dutta, S., Chen, X., Sankaranarayanan, S.: Reachability analysis for neural feedback systems using regressive polynomial rule inference. In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control. pp. 157–168 (2019)
2019
Cited alongside, same era.
Huang, C., Fan, J., Li, W., Chen, X., Zhu, Q.: Reachnn: Reachability analysis of neural-network controlled systems. ACM Transactions on Embedded Computing Systems (TECS) 18
2019
Cited alongside, same era.
Katz, G., Huang, D.A., Ibeling, D., Julian, K., Lazarus, C., Lim, R., Shah, P., Thakoor, S., Wu, H., Zeljić, A., Dill, D.L., Kochenderfer, M.J., Barrett, C.: The marabou framework for verification and analysis of deep neural networks. In: Dillig, I., Tasiran, S. (eds.) Computer Aided Verification. pp. 443–452. Springer International Publishing, Cham (2019)
2019
Cited alongside, same era.
Singh, G., Gehr, T., Püschel, M., Vechev, M.: An abstract domain for certifying neural networks. Proceedings of the ACM on Programming Languages 3
2019
Cited alongside, same era.
Lin, X., Zhu, H., Samanta, R., Jagannathan, S.: Art: abstraction refinement-guided training for provably correct neural networks. In: 2020 Formal Methods in Computer Aided Design (FMCAD). pp. 148–157. IEEE (2020)
2020
Later among the works it cites.
Paulsen, B., Wang, J., Wang, C.: Reludiff: Differential verification of deep neural networks. In: 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE). pp. 714–726. IEEE (2020)
2020
Later among the works it cites.
2020
Later among the works it cites.
2020
Later among the works it cites.
Liu, C., Arnon, T., Lazarus, C., Strong, C., Barrett, C., Kochenderfer, M.J., et al.: Algorithms for verifying deep neural networks. Foundations and Trends® in Optimization 4
2021
Closest in time.
Yang, Z., Zhang, Y., Lin, W., Zeng, X., Tang, X., Zeng, Z., Liu, Z.: An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation. In: Silva, A., Leino, K.R.M. (eds.) Computer Aided Verification. pp. 467–490. Springer International Publishing, Cham (2021)
2021
Closest in time.