Energy Games in Multiweighted Automata (Q3105747)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Energy Games in Multiweighted Automata	scientific article

Statements

scholarly article

0 references

Energy Games in Multiweighted Automata (English)

0 references

0 references

0 references

Kim Guldstrand Larsen

0 references

0 references

Theoretical Aspects of Computing – ICTAC 2011

0 references

publication date

6 January 2012

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-23283-1_9

0 references

Optimal paths in weighted timed automata

0 references

On Yen’s Path Logic for Petri Nets

0 references

0 references

Timed automata with observers under energy constraints

0 references

Infinite Runs in Weighted Timed Automata with Energy Constraints

0 references

Reachability Games on Extended Vector Addition Systems with States

0 references

Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P

0 references

Generalized Mean-payoff and Energy Games

0 references

Energy Parity Games

0 references

Energy and Mean-Payoff Games with Imperfect Information

0 references

Positional strategies for mean payoff games

0 references

0 references

0 references

A unified approach for deciding the existence of certain petri net paths

0 references

The complexity of mean payoff games on graphs

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-642-23283-1_9

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3105747

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