Skip to content

Author

Antonio Filieri

We have 2 of 17 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Oct 2026

ControlsDSL: A Language for Verifiable Cloud Configuration Controls

Cloud providers rely on compliance controls to ensure that customer resources are configured according to security best practices -- from encryption of storage to network isolation of compute instances. Today, these controls are typically written as general-purpose programs (e.g., in Python or Java), making them diffic...

Miyriee Alair, Shrutarshi Basu, Sean Cai et al. · 0 citations
Jul 2026

Safe Reinforcement Learning under Regularized Probabilistic Counterexample Guidance

A counterexample-guided reinforcement learning method that navigates safe exploration in autonomous systems without prior knowledge, even when safety and optimality conflict, and a novel belief-based regularization method to address the distributional shift between online and offline learning and to balance optimizatio...

Xiao-Tong Ji, Antonio Filieri · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.