Joshua Brulé

15 papers Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
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 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
2019 — —
Causal Programming.
Joshua Brulé
2018 J jnl
Causal programming: inference with structural causal models as finding instances of a relation.
CoRR
Joshua Brulé
2018 J jnl
Whittemore: An embedded domain specific language for causal programming.
CoRR
Joshua Brulé
2017 J jnl
A causation coefficient and taxonomy of correlation/causation relationships.
CoRR
Joshua Brulé
2016 J jnl
Evolving Shepherding Behavior with Genetic Programming Algorithms.
CoRR
Joshua Brulé, Kevin Engel, Nick Fung, Isaac Julien
2016 — conf
The Computational Power of Dynamic Bayesian Networks.
AIC
Joshua Brulé
2016 J jnl
The Computational Power of Dynamic Bayesian Networks.
CoRR
Joshua Brulé
2015 J jnl
MetroViz: Visual Analysis of Public Transportation Data.
CoRR
Fan Du, Joshua Brulé, Peter Enns, Varun Manjunatha, Yoav Segev
2013 J jnl
Review of probably approximately correct by Leslie Valiant.
SIGACT News
Joshua Brulé