Kasper Søe Luckow

Planning, Scheduling and Monitoring for Airport Surface Operations.

Corina S. Păsăreanu, Kasper Søe Luckow, Waqar Malik et al. · National Conference on Artificial Intelligence · 2016 · 103 citations

Management, Operations Management, Transportation Planning +12

Semantic-based Automated Reasoning for AWS Access Policies using SMT

John Backes, Pauline Bolignano, Byron Cook et al. · 2018 · 92 citations · Full text

Computing, Cloud Computing, Computer Science +15

Exact and approximate probabilistic symbolic execution for nondeterministic programs

Kasper Søe Luckow, Corina S. Păsăreanu, Matthew B. Dwyer et al. · 2014 · 45 citations

Computing, Computer Engineering, Computer Science +9

POSTER

Rody Kersten, Kasper Søe Luckow, Corina S. Păsăreanu · 2017 · 45 citations · Full text

Computing, Computer Science, Cybersecurity +13

One-Click Formal Methods

John Backes, Pauline Bolignano, Byron Cook et al. · IEEE Software · 2019 · 30 citations

Computing, Computer Science, Systems Engineering +17