Sotabase

Career

· insitro

Publications (32)

Scenic: a language for scenario specification and scene generation
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2018
295
cited
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Journal of automated reasoning · 2017
245
cited
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
International Conference on Computer Aided Verification · 2019
215
cited
Scenic: a language for scenario specification and data generation
Machine-mediated learning · 2020
126
cited
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems
NASA Formal Methods · 2015
114
cited
Formal Specification for Deep Neural Networks
Automated Technology for Verification and Analysis · 2018
108
cited
Semantic Adversarial Deep Learning
IEEE design & test · 2018
93
cited
Combining Model Checking and Runtime Verification for Safe Robotics
Runtime Verification · 2017
92
cited
Counterexample-Guided Data Augmentation
International Joint Conference on Artificial Intelligence · 2018
68
cited
Systematic Testing of Convolutional Neural Networks for Autonomous Driving
arXiv.org · 2017
66
cited
Parallelotope Bundles for Polynomial Reachability
International Conference on Hybrid Systems: Computation and Control · 2016
52
cited
A Formalization of Robustness for Deep Neural Networks
arXiv.org · 2019
33
cited
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
arXiv.org · 2019
33
cited
Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems
International Conference on Hybrid Systems: Computation and Control · 2016
30
cited
Parameter synthesis for polynomial biological models
International Conference on Hybrid Systems: Computation and Control · 2014
23
cited
Reachability computation for polynomial dynamical systems
Formal methods in system design · 2017
18
cited
Parameter Synthesis Through Temporal Logic Specifications
World Congress on Formal Methods · 2015
14
cited
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
International Conference on Computer Aided Verification · 2023
12
cited
Hybrid Automata and ε-Analysis on a Neural Oscillator
International Workshop on Hybrid Systems Biology · 2012
11
cited
IB-GAN: A Unified Approach for Multivariate Time Series Classification under Class Imbalance
SDM · 2021
11
cited
Sotabase
Tommaso Dreossi | Researcher Profile | Sotabase | Sotabase