Author:
Abate Alessandro,Bessa Iury,Cattaruzza Dario,Chaves Lennon,Cordeiro Lucas,David Cristina,Kesseli Pascal,Kroening Daniel,Polgreen Elizabeth
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Controller Synthesis for CPS;Encyclopedia of Systems and Control;2021
2. SLEMI;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27
3. Falsified Model-Invariant Safety-Preserving Control With Application to Closed-Loop Anesthesia;IEEE Transactions on Control Systems Technology;2020-03
4. Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems;IEEE Access;2020
5. Controller Synthesis for CPS;Encyclopedia of Systems and Control;2020