John F. Quindlen

Identifiers

• name variant John F. Quindlen 0.60 · backfill

Papers (3)

1. Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties cs.SY · 2017 · author #1
2. Active Sampling-based Binary Verification of Dynamical Systems cs.SY · 2017 · author #1
3. Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems cs.SY · 2017 · author #1

Mentions

• 1709.06645 #1 · arxiv_oai · confidence 0.70 John F. Quindlen
• 1706.04268 #1 · arxiv_oai · confidence 0.70 John F. Quindlen
• 1705.01471 #1 · arxiv_oai · confidence 0.70 John F. Quindlen

Frequent Coauthors

• Girish Chowdhary 3 shared papers
• Jonathan P. How 3 shared papers
• Ufuk Topcu 3 shared papers