Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro  Home/Search
Context
Related
| wsu.edu/~zdang/papers/cav03.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wsu.edu/~zdang/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We generalize the traditional definition of a multicounter machine (where the counters, which can only assume nonnegative integer values, can be incremented/decremented by 1 and tested for zero) by allowing the machine the additional ability to increment/decrement the counters by a nondeterministically chosen fractional amount between 0 and 1 (the may be different at each step). We show that, under some restrictions on counter behavior, the binary reachability set of such a machine is... (Update)
Active bibliography (related documents): More All
0.4: Safety Verification for Two-Way Finite Automata with.. - Ibarra, Dang, Sun (2002) (Correct)
0.4: Composability of Infinite-State Activity Automata - Dang, Ibarra, Su (Correct)
0.3: Pushdown Timed Automata: a Binary Reachability Characterization.. - Dang (2003) (Correct)
Similar documents based on text: More All
0.4: Counter Machines and Verification Problems - Ibarra, Su, Dang, Bultan.. (Correct)
0.4: Testability of Oracle Automata (Extended Abstract) - Xie, Li, Dang (Correct)
0.4: Binary Reachability Analysis of Discrete Pushdown.. - Dang, Ibarra, Bultan, .. (2000) (Correct)
BibTeX entry: (Update)
@misc{ xie-dense,
author = "Gaoyan Xie and Zhe Dang and Oscar H. Ibarra and Pierluigi San Pietro",
title = "Dense Counter Machines and Verification Problems",
url = "citeseer.ist.psu.edu/678714.html" }
Citations (may not include all citations):666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
232 Hybrid automata: An algorithmic approach to the specificatio.. - Alur, Courcoubetis et al. - 1992
211 HYTECH: A Model Checker for Hybrid Systems - Henzinger, Ho et al. - 1997
168 What's decidable about hybrid automata - Puri, Kopke et al. - 1995
80 An approach to the description and analysis of hybrid system.. - Nicollin, Olivero et al. - 1992
62 Symbolic verification with periodic sets - Boigelot, Wolper - 1994
58 A closed form for datalog queries with integer order (context) - Revesz - 1990
51 Reversal-bounded multicounter machines and their decision pr.. (context) - Ibarra - 1978
43 Recursive unsolvability of Post's problem of Tag and other t.. (context) - Minsky - 1961
37 Timed automata and the theory of real numbers - Comon, Jurski - 1999
36 Computing accumulated delays in real-time systems - Alur, Courcoubetis et al. - 1997
30 Binary reachability analysis of discrete pushdown timed auto.. - Dang, Ibarra et al. - 2000
24 safety analysis and Presburger arithmetic (context) - Comon, Jurski et al. - 1998
20 the expressiveness of real and integer arithmetic automata - Boigelot, Rassart et al. - 1998
19 A decompositional approach for computing least fixed-points .. - Fribourg, Olsen - 1997
18 New decidability results concerning two-way counter machines (context) - Ibarra, Jiang et al. - 1995
16 On Presburger Liveness of Discrete Timed Automata - Dang, Pietro et al. - 2001
8 As cheap as possible: Efficient cost-optimal reachability fo.. - Larsen, Behrmann et al. - 2001
3 the emptiness problems for two-way nondeterministic finite a.. (context) - Dang, Ibarra et al. - 2002
1 chains for transitive mixed linear realtions and its applica.. (context) - Dang, Ibarra et al. - 2002
Documents on the same site (http://www.eecs.wsu.edu/~zdang/index.html): More
Binary Reachability Analysis of Pushdown Timed Automata with Dense .. - Dang (Correct)
On Presburger Liveness of Discrete Timed Automata - Dang, Pietro, Kemmerer (2001) (Correct)
Decidable Approximations on Generalized and Parameterized .. - Dang, Ibarra, Kemmerer (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC