Quinn Thibeault | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Hao Huang
42 publications
Georgios Fainekos
21 publications
Tanmay Khandait
5 publications
Giulia Pedrielli
3 publications
Jacob Anderson
2 publications
Aniruddh Chandratre
1 publication
Surdeep Chotaliya
1 publication
Mauricio Castillo-Effen
1 publication

research

∙ 10/20/2021

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees

Requirements driven search-based testing (also known as falsification) h...

0 Giulia Pedrielli, et al. ∙

research

∙ 06/04/2021

PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems

In this paper, we present the Python package PSY-TaLiRo which is a toolb...

0 Quinn Thibeault, et al. ∙