Funder
National Science Foundation
Deutsche Forschungsgemeinschaft
National Natural Science Foundation of China
Subject
Control and Systems Engineering,Software
Reference239 articles.
1. Formal synthesis of Lyapunov neural networks;Abate;IEEE Control Systems Letters,2021
2. Ahmadi, M., Wu, B., Lin, H., & Topcu, U. (2018). Privacy verification in POMDPs via barrier certificates. In 57th IEEE conference on decision and control (pp. 5610–5615).
3. Supremica-an integrated environment for verification, synthesis and simulation of discrete event systems;Akesson,2006
4. Preserving secrecy under refinement;Alur,2006
5. Alternating refinement relations;Alur,1998
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献