Research

Hongkai Chen, Zeyu Zhang, Shouvik Roy, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Shan Lin. Cumulative-Time Signal Temporal Logic. arXiv preprint arXiv:2504.10325, 2025.

Zhang, P., Zhou, Y., Smolka, S.A., Stoller, S.D., Wang, X., Zhao, R., Ling, T., Xing, Y., Roy, S. and Damare, A. (2024). AI-Grid: AI-Enabled, Smart Programmable Microgrids. In Microgrids, P. Zhang (Ed.).

Shouvik Roy. Neural Controllers and Safety Assurance for Cyber-Physical Systems. State University of New York at Stony Brook. ProQuest Dissertations Publishing,  2023.

Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller. A Barrier Certificate-based Simplex Architecture with Application to Microgrids. In: T. Dang and V. Stolz (eds) Runtime Verification. RV 2022. Lecture Notes in Computer Science, Vol 13498, pp. 105-123. Springer, Cham.

Shouvik Roy, Usama Mehmood, Radu Grosu, Scott Smolka, Scott Stoller, Ashish Tiwari. Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding, in Proceedings of the American Control Conference, 2021.

Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka. A Distributed Simplex Architecture for Multi-Agent Systems, in Proceedings of SETTA: Dependable Software Engineering. Theories, Tools, and Applications, pp. 239-257. Springer International Publishing, 2021.

Shouvik Roy, Usama Mehmood, Radu Grosu, Scott Smolka, Scott Stoller, Ashish Tiwari. Learning Distributed Controllers for V-Formation. IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020.

Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari. Neural Flocking: MPC-based Supervised Learning of Flocking Controllers, in Foundations of Software Science and Computation Structures, pp. 1–16. Springer International Publishing, 2020.

Shouvik Roy. Generating Summaries using Sentence Compression and Statistical Measures. International Journal of Natural Language Computing, Vol 5, Number 5, pp. 13-27, 2016.