@article{2020arXiv200104347B,
ArchivePrefix = {arXiv},
Author = {{Bouyer}, Patricia and {Brihaye}, Thomas and {Randour}, Mickael and {Rivi{\`e}re}, C{\'e}dric and {Vandenhove}, Pierre},
EID = {arXiv:2001.04347},
EPrint = {2001.04347},
File = {Decisiveness of Stochastic Systems and its Application to Hybrid Models - 2001.04347 - a - a - a - y.pdf},
Journal = {arXiv e-prints},
Keywords = {Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, Electrical Engineering and Systems Science - Systems and Control, Mathematics - Probability},
Month = {Jan},
Pages = {arXiv:2001.04347},
PrimaryClass = {cs.LO},
Title = {{Decisiveness of Stochastic Systems and its Application to Hybrid Models}},
Year = {2020},
adsnote = {Provided by the SAO/NASA Astrophysics Data System},
adsurl = {https://ui.adsabs.harvard.edu/abs/2020arXiv200104347B},
date-added = {2020-01-14 19:08:49 +0100},
date-modified = {2020-01-14 19:08:49 +0100},
doi = {10.48550/arXiv.2001.04347}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A