Pages that link to "Item:Q2947171"
From MaRDI portal
The following pages link to Logics for Weighted Timed Pushdown Automata (Q2947171):
Displaying 4 items.
- A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties (Q1797777) (← links)
- Logic for \(\omega\)-pushdown automata (Q2064532) (← links)
- Weighted simple reset pushdown automata (Q2422031) (← links)
- Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata (Q2672253) (← links)
