Weighted LTL with Discounting (Q2914725)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Weighted LTL with Discounting	scientific article

Statements

scholarly article

0 references

Weighted LTL with Discounting (English)

0 references

0 references

Implementation and Application of Automata

0 references

publication date

20 September 2012

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-31606-7_32

0 references

0 references

Skew and infinitary formal power series

0 references

Weighted automata and multi-valued logics over arbitrary bounded lattices

0 references

Model Checking Quantitative Linear Time Logic

0 references

Lattice Automata

0 references

On weighted first-order logics with discounting

0 references

Reasoning about infinite computations

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-642-31606-7_32

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2914725

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2914725&oldid=35299722"