Symbolic controller synthesis for Büchi specifications on stochastic systems. Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control. https://doi.org/10.1145/3365365.3382214
Chicago Style (17th ed.) Citation"Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems." Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control . https://doi.org/10.1145/3365365.3382214.
MLA (9th ed.) Citation"Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems." Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, , https://doi.org/10.1145/3365365.3382214.
Warning: These citations may not always be 100% accurate.