Approximation of Weighted Automata with Storage

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
Pages91-105
Publication statusPublished - 2017
Peer-reviewedYes

Publication series

SeriesElectronic proceedings in theoretical computer science : EPTCS
Volume256
ISSN2075-2180

External IDs

Scopus 85030122168

Keywords

Keywords

  • automata, storage, approximation