Reachability in Continuous Pushdown VASS

Balasubramanian, A. R.; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg

doi:10.1145/3633279

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Journal Article

Reachability in Continuous Pushdown VASS

MPS-Authors

Balasubramanian, A. R.
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144534

Majumdar, Rupak
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons266086

Thinniyam, Ramanathan S.
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons230970

Zetzsche, Georg
Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

3633279.pdf
(Publisher version), 368KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Balasubramanian, A. R., Majumdar, R., Thinniyam, R. S., & Zetzsche, G. (2024). Reachability in Continuous Pushdown VASS. Proceedings of the ACM on Programming Languages, 8(POPL): 4, pp. 90-114. doi:10.1145/3633279.

Cite as: https://hdl.handle.net/21.11116/0000-000E-378B-8

Abstract

There is no abstract available