𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The reliability of discrete automata

✍ Scribed by V. G. Lazarev; E. I. Piil; E. N. Turuta

Publisher
Springer US
Year
1972
Tongue
English
Weight
564 KB
Volume
4
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Presburger liveness verification of disc
Presburger liveness verification of discrete timed automata
✍ Zhe Dang; Pierluigi San Pietro; Richard A. Kemmerer πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 259 KB

Using an automata-theoretic approach, we investigate the decidability of liveness properties (called Presburger liveness properties) for timed automata when Presburger formulas on conΓΏgurations are allowed. While the general problem of checking a temporal logic such as TPTL augmented with Presburger