Costs and rewards in priced timed automata

DOI10.4230/LIPICS.ICALP.2018.125zbMATH Open1483.68167MaRDI QIDQ5002811FDOQ5002811

Mani Swaminathan, Mahsa Shirmohammadi, Martin Fränzle, James Worrell

Publication date: 28 July 2021

Recommendations

• Costs and rewards in priced timed automata
• Revisiting decidability and optimum reachability for multi-priced timed automata
• Optimal reachability for multi-priced timed automata
• Foundations of Software Science and Computational Structures
• Priced timed automata: theory and tools

zbMATH Keywords

Diophantine equationsPareto dominationpriced timed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Fundamental topics (basic mathematics, methodology; applicable to economics in general) (91B02) Decidability of theories and sets of sentences (03B25) Diophantine equations in many variables (11D72) Decidability (number-theoretic aspects) (11U05)

Cites Work

• Signed graphs
• A theory of timed automata
• What's decidable about hybrid automata?
• Small Approximate Pareto Sets for Biobjective Shortest Paths and Other Problems
• Infinite Runs in Weighted Timed Automata with Energy Constraints
• Undecidable diophantine equations
• On the optimal reachability problem of weighted timed automata
• Optimal reachability for multi-priced timed automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• On model-checking timed automata with stopwatch observers
• Optimal infinite scheduling for multi-priced timed automata
• Revisiting decidability and optimum reachability for multi-priced timed automata
• Integer Vector Addition Systems with States
• Model Checking One-clock Priced Timed Automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the integer solutions of quadratic equations

Cited In (5)

• Revisiting decidability and optimum reachability for multi-priced timed automata
• The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems
• Monte Carlo tree search for priced timed automata
• Costs and rewards in priced timed automata
• Concavely-Priced Probabilistic Timed Automata

This page was built for publication: Costs and rewards in priced timed automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5002811)