Costs and rewards in priced timed automata by Fränzle, M, Shirmohammadi, M, Swaminathan, M, Worrell, J

“…</p> <p>We develop connections between MPTA and Diophantine equations. Undecidability of the Pareto Domination Problem is shown by reduction from Hilbert's 10th Problem, while decidability for three observers entails translation to a decidable fragment of arithmetic involving quadratic forms.…”

Costs and rewards in priced timed automata by Fränzle, M, Shirmohammadi, M, Swaminathan, M, Worrell, J

“…We develop connections between MPTA and Diophantine equations. Undecidability of the Pareto Domination Problem is shown by reduction from Hilbert's 10thProblem, while decidability for three observers is shown by a translation to a fragment of arithmetic involving quadratic forms.…”