Murat Arcak
6 papers · 2020–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (5)
π
Cross-Pollinator
(6)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(14)
π
Conference Pioneer
Conferences
L4DC (5)
AAAI (1)
Top co-authors
Keywords
gaussian process
(2)
chance-constrained optimization
(2)
scenario optimization
(2)
policy gradient
(1)
system identification
(1)
state space model
(1)
recurrent neural network
(1)
robust control
(1)
frequency domain
(1)
control policy
(1)
integral quadratic constraint
(1)
stability guarantee
(1)
probabilistic guarantee
(1)
controller synthesis
(1)
reachability analysis
(1)
data-driven control
(1)
reachable set
(1)
norm ball
(1)
convex problem
(1)
linear matrix inequality
(1)
Papers
Learning Biomolecular Models using Signal Temporal Logic
L4DC 2025
Nonconvex scenario optimization for data-driven reachability
L4DC 2024
Probabilistic Invariance for Gaussian Process State Space Models
L4DC 2023
Frequency Domain Gaussian Process Models for $H^β$ Uncertainties
L4DC 2023
Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems
AAAI 2022
Estimating Reachable Sets with Scenario Optimization
L4DC 2020