Weighted Linear Dynamic Logic - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Manfred Droste, Gustav Grabolle, George Rahonis. Weighted Linear Dynamic Logic. Int. J. Found. Comput. Sci., 35(1&2):145-177, January & February 2024. [doi]

The following publications are possibly variants of this publication:

Weighted automata and weighted logicsManfred Droste, Paul Gastin. TCS, 380(1-2):69-86, 2007. [doi]

Weighted Automata and Weighted LogicsManfred Droste, Paul Gastin. icalp 2005: 513-525 [doi]

Weighted tree automata and weighted logicsManfred Droste, Heiko Vogler. TCS, 366(3):228-247, 2006. [doi]

Weighted automata and weighted logics with discountingManfred Droste, George Rahonis. TCS, 410(37):3481-3494, 2009. [doi]

runs on WebDSL