Yanni Kouskoulas

According to our database, Yanni Kouskoulas authored at least 15 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Searching for explanations: testing social scientific methods in synthetic ground-truthed worlds.

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

Comput. Math. Organ. Theory, March, 2023

A Safety Fallback Controller for Improved Collision Avoidance.

Daniel Genin, Elizabeth Dietrich, Yanni Kouskoulas, Aurora C. Schmidt, Marin Kobilarov, Kapil D. Katyal, Shahriar Sefati, Subhransu Mishra, Ivan Papusha

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2022

Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns.

Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé

Int. J. Softw. Tools Technol. Transf., 2022

2021

Formal Verification of Neural Network Controllers for Collision-Free Flight.

Daniel Genin, Ivan Papusha, Joshua Brulé, Tyler A. Young, Galen E. Mullins, Yanni Kouskoulas, Rosa Wu, Aurora C. Schmidt

Proceedings of the Software Verification - 13th International Conference, 2021

Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm.

Yanni Kouskoulas, Rosa Wu, Joshua Brulé, Daniel Genin, Aurora C. Schmidt, Thyago J. Machado

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020

Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples.

Ivan Papusha, Rosa Wu, Joshua Brulé, Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt

CoRR, 2020

Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers.

Yanni Kouskoulas, Thyago J. Machado, Daniel Genin

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2017

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system.

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer

Int. J. Softw. Tools Technol. Transf., 2017

Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics.

Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt, Jean-Baptiste Jeannin

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2015

A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System.

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Formal verification of ACAS X, an industrial airborne collision avoidance system.

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer

Proceedings of the 2015 International Conference on Embedded Software, 2015

2013

Certifying the safe design of a virtual fixture control algorithm for a surgical robot.

Yanni Kouskoulas, David W. Renshaw, André Platzer, Peter Kazanzides

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012

Proving the correctness of concurrent robot software.

Peter Kazanzides, Yanni Kouskoulas, Anton Deguet, Zhong Shao

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

2004

The Bayesian hierarchical classifier (BHC) and its application to short vegetation using multifrequency polarimetric SAR.

Yanni Kouskoulas, Fawwaz T. Ulaby, Leland E. Pierce

IEEE Trans. Geosci. Remote. Sens., 2004

A computationally efficient multivariate maximum-entropy density estimation (MEDE) technique.

Yanni Kouskoulas, Leland E. Pierce, Fawwaz T. Ulaby

IEEE Trans. Geosci. Remote. Sens., 2004