Author:
Mandrali Eleni,Rahonis George
Subject
Computer Vision and Pattern Recognition,Software,Computer Science (miscellaneous),Electrical and Electronic Engineering,Information Systems and Management,Management Science and Operations Research,Theoretical Computer Science
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Weighted Linear Dynamic Logic;International Journal of Foundations of Computer Science;2023-11-16
2. A Translation of Weighted LTL Formulas to Weighted Buchi Automata over omega-valuation Monoids;Scientific Annals of Computer Science;2021-12-20
3. On Weighted Configuration Logics;Formal Aspects of Component Software;2017
4. Weighted Linear Dynamic Logic;Electronic Proceedings in Theoretical Computer Science;2016-09-13