Logan Mathesen

14 papers Misc 3Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2021 — conf
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
ARCH@ADHS
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2021 — conf
Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements.
CASE
Logan Mathesen, Giulia Pedrielli, Georgios Fainekos
2021 J jnl
Multifidelity Modeling for Analysis and Optimization of Serial Production Lines.
IEEE Trans. Autom. Control.
Yunyi Kang, Logan Mathesen, Giulia Pedrielli, Feng Ju, Loo Hay Lee
2021 J jnl
Scaling Bayesian Optimization With Game Theory.
CoRR
Logan Mathesen, Giulia Pedrielli, R. L. Smith
2021 J jnl
Stochastic optimization with adaptive restart: a framework for integrated local and global learning.
J. Glob. Optim.
Logan Mathesen, Giulia Pedrielli, Szu Hui Ng, Zelda B. Zabinsky
2020 — conf
ARCH-COMP 2020 Category Report: Falsification.
ARCH
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2019 — conf
ARCH-COMP 2019 Category Report: Falsification.
ARCH@CPSIoTWeek
Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2019 — conf
Complicacy-Guided Parameter Space Sampling for Knowledge Discovery with Limited Simulation Budgets.
ICBK
Xilun Chen, Logan Mathesen, Giulia Pedrielli, K. Selçuk Candan
2019 — conf
Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart.
CASE
Logan Mathesen, Shakiba Yaghoubi, Giulia Pedrielli, Georgios Fainekos
2019 J jnl
Generalized Ordinal Learning Framework (GOLF) for Decision Making with Future Simulated Data.
Asia Pac. J. Oper. Res.
Giulia Pedrielli, K. Selçuk Candan, Xilun Chen, Logan Mathesen, Alireza Inanlouganji, Jie Xu, Chun-Hung Chen, Loo Hay Lee
2019 Misc conf
Subspace Communication Driven Search for High Dimensional Optimization.
WSC
Logan Mathesen, Kaushik Keezhnagar Chandrasekar, Xinsheng Li, Giulia Pedrielli, K. Selçuk Candan
2018 Misc conf
Stochastic Optimization for Feasibility determination: an Application to water pump Operation in water Distribution Network.
WSC
Yi-An Tsai, Giulia Pedrielli, Logan Mathesen, Zelda B. Zabinsky, Hao Huang, Antonio Candelieri, Riccardo Perego
2017 — conf
Multi-fidelity modeling for analysis of serial production lines.
CASE
Yunyi Kang, Logan Mathesen, Giulia Pedrielli, Feng Ju
2017 Misc conf
Trust region based stochastic optimization with adaptive restart: A family of global optimization algorithms.
WSC
Logan Mathesen, Giulia Pedrielli, Szu Hui Ng