scientific article; zbMATH DE number 7376052
From MaRDI portal
Publication:5002811
DOI10.4230/LIPIcs.ICALP.2018.125zbMath1483.68167MaRDI QIDQ5002811
Mani Swaminathan, Mahsa Shirmohammadi, Martin Fränzle, James Worrell
Publication date: 28 July 2021
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Decidability (number-theoretic aspects) (11U05) 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)
Related Items (1)
Cites Work
- Signed graphs
- What's decidable about hybrid automata?
- A theory of timed automata
- On the optimal reachability problem of weighted timed automata
- Optimal reachability for multi-priced timed automata
- Optimal infinite scheduling for multi-priced timed automata
- On model-checking timed automata with stopwatch observers
- Integer Vector Addition Systems with States
- Model Checking One-clock Priced Timed Automata
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Small Approximate Pareto Sets for Biobjective Shortest Paths and Other Problems
- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata
- Undecidable diophantine equations
- On the integer solutions of quadratic equations
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: