Joshua Brulé

According to our database, Joshua Brulé authored at least 12 papers between 2013 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

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

2018

Whittemore: An embedded domain specific language for causal programming.

Joshua Brulé

CoRR, 2018

Causal programming: inference with structural causal models as finding instances of a relation.

Joshua Brulé

CoRR, 2018

2017

A causation coefficient and taxonomy of correlation/causation relationships.

Joshua Brulé

CoRR, 2017

2016

Evolving Shepherding Behavior with Genetic Programming Algorithms.

Joshua Brulé, Kevin Engel, Nick Fung, Isaac Julien

CoRR, 2016

The Computational Power of Dynamic Bayesian Networks.

Joshua Brulé

Proceedings of the 4th International Workshop on Artificial Intelligence and Cognition co-located with the Joint Multi-Conference on Human-Level Artificial Intelligence (HLAI 2016), 2016

2015

MetroViz: Visual Analysis of Public Transportation Data.

Fan Du, Joshua Brulé, Peter Enns, Varun Manjunatha, Yoav Segev

CoRR, 2015

2013

Review of probably approximately correct by Leslie Valiant.

Joshua Brulé

SIGACT News, 2013