Viraj B. Wijesuriya

According to our database, Viraj B. Wijesuriya authored at least 7 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Drones vs Dengue: A Drone-Based Mosquito Control System for Preventing Dengue.

Akarshani Amarasinghe, Viraj B. Wijesuriya

Proceedings of the 2020 RIVF International Conference on Computing and Communication Technologies, 2020

2019

A swarm of crop spraying drones solution for optimising safe pesticide usage in arable lands: poster abstract.

Akarshani Amarasinghe, Viraj B. Wijesuriya, Dilshan Ganepola, Lakshman Jayaratne

Proceedings of the 17th Conference on Embedded Networked Sensor Systems, 2019

Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes.

Viraj Brian Wijesuriya, Alessandro Abate

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Stimme: A Chat Application for Communicating with Hearing Impaired Persons.

Akarshani Amarasinghe, Viraj B. Wijesuriya

Proceedings of the 14th Conference on Industrial and Information Systems, 2019

Bayesian Verification of Chemical Reaction Networks.

Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes.

Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016

Data-Efficient Bayesian Verification of Parametric Markov Chains.

Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016