Continuous One-Counter Automata

01/28/2021
by   Michael Blondin, et al.
0

We study the reachability problem for continuous one-counter automata, COCA for short. In such automata, transitions are guarded by upper and lower bound tests against the counter value. Additionally, the counter updates associated with taking transitions can be (non-deterministically) scaled down by a nonzero factor between zero and one. Our three main results are as follows: (1) We prove that the reachability problem for COCA with global upper and lower bound tests is in NC2; (2) that, in general, the problem is decidable in polynomial time; and (3) that it is decidable in the polynomial hierarchy for COCA with parametric counter updates and bound tests.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

05/03/2020

Revisiting Synthesis for One-Counter Automata

One-counter automata are obtained by extending classical finite-state au...
11/13/2020

Reachability in two-parametric timed automata with one parameter is EXPSPACE-complete

Parametric timed automata (PTA) are an extension of timed automata in wh...
01/03/2018

EXPSPACE-hardness of behavioural equivalences of succinct one-counter nets

We note that the remarkable EXPSPACE-hardness result in [Göller, Haase, ...
08/26/2020

Countdown games, and simulation on (succinct) one-counter nets

We answer an open complexity question by Hofman, Lasota, Mayr, Totzke (L...
03/30/2020

A faster algorithm for the FSSP in one-dimensional CA with multiple speeds

In cellular automata with multiple speeds for each cell i there is a pos...
04/20/2018

Decidability of Timed Communicating Automata

We study the reachability problem for networks of timed communicating pr...
07/13/2018

Postselecting probabilistic finite state recognizers and verifiers

In this paper, we investigate the computational and verification power o...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.