Viraj B. Wijesuriya

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 8

Top Topics

Bayesian Learning

Decision Processes

Top Venues

FM Workshops (2)

Publications

Akarshani Amarasinghe, Viraj B. Wijesuriya
Drones vs Dengue: A Drone-Based Mosquito Control System for Preventing Dengue. RIVF (2020)
Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate
Bayesian Verification of Chemical Reaction Networks. CoRR (2020)
Akarshani Amarasinghe, Viraj B. Wijesuriya, Dilshan Ganepola, Lakshman Jayaratne
A swarm of crop spraying drones solution for optimising safe pesticide usage in arable lands: poster abstract. SenSys (2019)
Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate
Bayesian Verification of Chemical Reaction Networks. FM Workshops (2) (2019)
Akarshani Amarasinghe, Viraj B. Wijesuriya
Stimme: A Chat Application for Communicating with Hearing Impaired Persons. ICIIS (2019)
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. QEST (2017)
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. CoRR (2017)
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate
Data-Efficient Bayesian Verification of Parametric Markov Chains. QEST (2016)