Sheryl Paul

According to our database, Sheryl Paul authored at least 6 papers between 2021 and 2025.

Collaborative distances:

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

2025

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata.

Anand Balakrishnan, Sheryl Paul, Simone Silvetti, Laura Nenzi, Jyotirmoy V. Deshmukh

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

2024

Systematic Translation from Natural Language Robot Task Descriptions to STL.

Sara Mohammadinejad, Sheryl Paul, Yuan Xia, Vidisha Kudalkar, Jesse Thomason, Jyotirmoy V. Deshmukh

Proceedings of the Bridging the Gap Between AI and Reality, 2024

Multi-agent Path Finding for Timed Tasks Using Evolutionary Games.

Sheryl Paul, Anand Balakrishnan, Xin Qin, Jyotirmoy V. Deshmukh

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

Survival of the Fittest: Evolutionary Adaptation of Policies for Environmental Shifts.

Sheryl Paul, Jyotirmoy V. Deshmukh

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2022

Multi Agent Path Finding using Evolutionary Game Theory.

Sheryl Paul, Jyotirmoy V. Deshmukh

CoRR, 2022

2021

A sandbox for prediction and integration of DNA, RNA, and proteins in single cells.

Malte Lücken, Daniel Burkhardt, Robrecht Cannoodt, Christopher Lance, Aditi Agrawal, Hananeh Aliee, Ann Chen, Louise Deconinck, Angela Detweiler, Alejandro Granados, Shelly Huynh, Laura Isacco, Yang Kim, Dominik Klein, Bony de Kumar, Sunil Kuppasani, Heiko Lickert, Aaron McGeever, Joaquin Melgarejo, Honey Mekonen, Maurizio Morri, Michaela Müller, Norma Neff, Sheryl Paul, Bastian Rieck, Kaylie Schneider, Scott Steelman, Michael Sterr, Daniel Treacy, Alexander Tong, Alexandra-Chloé Villani, Guilin Wang, Jia Yan, Ce Zhang, Angela Pisco, Smita Krishnaswamy, Fabian J. Theis, Jonathan M. Bloom

Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, 2021