. (2021). Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches. International Journal On Software Tools For Technology Transfer. (Original work published 2021)
S. Stoller
First name
S.
Middle name
D.
Last name
Stoller
. (2017). Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles. Formal Methods In System Design. (Original work published 2017)
. (2021). A Distributed Simplex Architecture for Multi-Agent Systems. Proceedings of SETTA 2021, Symposium on Dependable Software Engineering. Presented at the. (Original work published 2021)
. (2021). Collision-Free 3D Flocking Using the Distributed Simplex Architecture. Proceedings of ISoLA Extra in Rhodes. Presented at the. (Original work published 2021)
. (2021). Safe CPS from Unsafe Controllers. Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems. Presented at the. (Original work published 2021)
. (2021). Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. Proceedings of ACC 2021, The 2021 American Control Conference. Presented at the. (Original work published 2021)
. (2020). Bayesian Neural Predictive Monitoring. Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI. Presented at the. (Original work published 2020)