˜Aœ learning twist on controllers: synthesis via partial exploration and concise representations

von Ashok, Pranav
Veröffentlicht 2021

Statistical Model Checking: Black or White?

von Ashok, Pranav
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2020)

DeepAbstract: Neural Network Abstraction for Accelerating Verification

von Ashok, Pranav
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts

von Ashok, Pranav
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)