Approximation of Weighted Automata with Storage - Electronic Proceedings in Theoretical Computer Science

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

Keywords

Keywords

  • automata, storage, approximation