Yanni Kouskoulas

16 papers A* 1A 1B 1C 1Misc 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2023 — conf
A Safety Fallback Controller for Improved Collision Avoidance.
ICAA
Daniel Genin, Elizabeth Dietrich, Yanni Kouskoulas, Aurora C. Schmidt, Marin Kobilarov, Kapil D. Katyal, Shahriar Sefati, Subhransu Mishra, Ivan Papusha
2023 J jnl
Searching for explanations: testing social scientific methods in synthetic ground-truthed worlds.
Comput. Math. Organ. Theory
Aurora C. Schmidt, Christopher J. Cameron, Corey Lowman, Joshua Brulé, Amruta Deshpande, Seyyed A. Fatemi, Vladimir Barash, Ariel M. Greenberg, Cash J. Costello, Eli Sherman, Rohit Bhattacharya, Liz McQuillan, Alexander Perrone, Yanni Kouskoulas, Clay Fink, June Zhang, Ilya Shpitser, Michael W. Macy
2022 J jnl
Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns.
CoRR
Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé
2022 J jnl
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns.
Int. J. Softw. Tools Technol. Transf.
Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé
2021 — conf
Formal Verification of Neural Network Controllers for Collision-Free Flight.
VSTTE
Daniel Genin, Ivan Papusha, Joshua Brulé, Tyler A. Young, Galen E. Mullins, Yanni Kouskoulas, Rosa Wu, Aurora C. Schmidt
2021 — conf
Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm.
NFM
Yanni Kouskoulas, Rosa Wu, Joshua Brulé, Daniel Genin, Aurora C. Schmidt, Thyago J. Machado
2020 C conf
Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers.
FMICS
Yanni Kouskoulas, Thyago J. Machado, Daniel Genin
2020 J jnl
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples.
CoRR
Ivan Papusha, Rosa Wu, Joshua Brulé, Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt
2017 J jnl
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system.
Int. J. Softw. Tools Technol. Transf.
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer
2017 B conf
Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics.
ITP
Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt, Jean-Baptiste Jeannin
2015 A conf
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System.
TACAS
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
2015 Misc conf
Formal verification of ACAS X, an industrial airborne collision avoidance system.
EMSOFT
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
2013 — conf
Certifying the safe design of a virtual fixture control algorithm for a surgical robot.
HSCC
Yanni Kouskoulas, David W. Renshaw, André Platzer, Peter Kazanzides
2012 A* conf
Proving the correctness of concurrent robot software.
ICRA
Peter Kazanzides, Yanni Kouskoulas, Anton Deguet, Zhong Shao
2004 J jnl
A computationally efficient multivariate maximum-entropy density estimation (MEDE) technique.
IEEE Trans. Geosci. Remote. Sens.
Yanni Kouskoulas, Leland E. Pierce, Fawwaz T. Ulaby
2004 J jnl
The Bayesian hierarchical classifier (BHC) and its application to short vegetation using multifrequency polarimetric SAR.
IEEE Trans. Geosci. Remote. Sens.
Yanni Kouskoulas, Fawwaz T. Ulaby, Leland E. Pierce