Author:
Bloem Roderick,Könighofer Bettina,Könighofer Robert,Wang Chao
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. CUDD: CU Decision Diagram Package,
ftp://vlsi.colorado.edu/pub/
2. LTL Specification Patterns,
http://patterns.projects.cis.ksu.edu/documentation/patterns/ltl.shtml
3. Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T., Hofferek, G., Jobstmann, B., Könighofer, B., Könighofer, R.: Synthesizing robust systems. Acta Inf. 51, 193–220 (2014)
4. Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Sa’ar, Y.: Synthesis of reactive(1) designs. J. Comput. Syst. Sci. 78(3), 911–938 (2012)
5. Bloem, R., Könighofer, B., Könighofer, R., Wang, C.: Shield synthesis: Runtime enforcement for reactive systems. CoRR, abs/1501.02573 02573 (2015)
Cited by
66 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献