2 papers
cs.FL2024
Reachability for Multi-Priced Timed Automata with Positive and Negative Rates
Andrew Scoones, Mahsa Shirmohammadi, James Worrell
Multi-priced timed automata (MPTA) are timed automata with observer variables whose derivatives can change from one location to another. Observers are write-only variables, that is…
math.NT2024
Effective Results in The Metric Theory of Quantitative Diophantine Approximation
Ying Wai Lee, Andrew Scoones
Many results related to quantitative problems in the metric theory of Diophantine approximation are asymptotic, such as the number of rational solutions to certain inequalities gro…