A. Prasad Sistla | FOCS Lab @ NUShttps://focs-lab.comp.nus.edu.sg/author/a.-prasad-sistla/A. Prasad SistlaHugo Blox Builder (https://hugoblox.com)en-usWed, 01 Jan 2020 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/media/icon_hu5d7d4d7c5767fff68bb2045c417d28ca_165_512x512_fill_lanczos_center_3.pngA. Prasad Sistlahttps://focs-lab.comp.nus.edu.sg/author/a.-prasad-sistla/Exact Quantitative Probabilistic Model Checking Through Rational Searchhttps://focs-lab.comp.nus.edu.sg/publication/2020/2020-fmsd-mathur-rationalsearch/Wed, 01 Jan 2020 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/publication/2020/2020-fmsd-mathur-rationalsearch/Exact Quantitative Probabilistic Model Checking Through Rational Searchhttps://focs-lab.comp.nus.edu.sg/publication/2017/2017-fmcad-bauer-rationalsearch/Sun, 01 Jan 2017 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/publication/2017/2017-fmcad-bauer-rationalsearch/