Weighted LTL with Discounting (Q2914725): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4449238 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Skew and infinitary formal power series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weighted automata and multi-valued logics over arbitrary bounded lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model Checking Quantitative Linear Time Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lattice Automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On weighted first-order logics with discounting / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reasoning about infinite computations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4547769 / rank | |||
Normal rank |
Latest revision as of 17:38, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Weighted LTL with Discounting |
scientific article |
Statements
Weighted LTL with Discounting (English)
0 references
20 September 2012
0 references