Spandan Das

According to our database, Spandan Das authored at least 8 papers between 2021 and 2023.

Collaborative distances:

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

2023

Abstraction-based Probabilistic Stability Analysis of Polyhedral Probabilistic Hybrid Systems.

Spandan Das, Pavithra Prabhakar

CoRR, 2023

Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems.

Spandan Das, Pavithra Prabhakar

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

2022

A Comprehensive Machine Learning Study to Classify Precipitation Type over Land from Global Precipitation Measurement Microwave Imager (GPM-GMI) Measurements.

Spandan Das, Yiding Wang, Jie Gong, Leah Ding, Stephen Joseph Munchak, Chenxi Wang, Dong L. Wu, Liang Liao, William S. Olson, Donifan O. Barahona

Remote. Sens., 2022

Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL.

Spandan Das, Pavithra Prabhakar

CoRR, 2022

Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems.

Spandan Das, Pavithra Prabhakar

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2021

Probabilistic Stability Analysis of Planar Robots with Piecewise Constant Derivative Dynamics.

Spandan Das, Pavithra Prabhakar

CoRR, 2021

Receiving Messages in Their Correct Order: Analyzing Broadcast Protocols in Dynamic Epistemic Logics.

Spandan Das, Sujata Ghosh

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

Automated Mapping of Real-world Oncology Laboratory Data to LOINC.

Jonathan Kelly, Chen Wang, Jianyi Zhang, Spandan Das, Anna Ren, Pradnya Warnekar

Proceedings of the AMIA 2021, American Medical Informatics Association Annual Symposium, San Diego, CA, USA, October 30, 2021, 2021