Author:
Bozga Marius,Iosif Radu,Lakhnech Yassine
Publisher
Springer Berlin Heidelberg
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algebraic Program Analysis;Computer Aided Verification;2021
2. Optimal and robust controller synthesis using energytimed automata with uncertainty;Formal Aspects of Computing;2021-01
3. Flat Petri Nets (Invited Talk);Application and Theory of Petri Nets and Concurrency;2021
4. Closed forms for numerical loops;Proceedings of the ACM on Programming Languages;2019-01-02
5. Optimal and Robust Controller Synthesis;Formal Methods;2018