Joshua Brulé

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 13

Top Topics

Computational Power

Top Venues

Int. J. Softw. Tools Technol. Transf.

Comput. Math. Organ. Theory

Publications

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
Searching for explanations: testing social scientific methods in synthetic ground-truthed worlds. Comput. Math. Organ. Theory 29 (1) (2023)
Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé
Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns. CoRR (2022)
Yanni Kouskoulas, Rosa Wu, Joshua Brulé, Daniel Genin, Aurora C. Schmidt, Thyago J. Machado
Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm. NFM (2021)
Daniel Genin, Ivan Papusha, Joshua Brulé, Tyler Young, Galen E. Mullins, Yanni Kouskoulas, Rosa Wu, Aurora C. Schmidt
Formal Verification of Neural Network Controllers for Collision-Free Flight. VSTTE (2021)
Ivan Papusha, Rosa Wu, Joshua Brulé, Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples. CoRR (2020)
Joshua Brulé
Causal programming: inference with structural causal models as finding instances of a relation. CoRR (2018)
Joshua Brulé
Whittemore: An embedded domain specific language for causal programming. CoRR (2018)
Joshua Brulé
A causation coefficient and taxonomy of correlation/causation relationships. CoRR (2017)
Joshua Brulé, Kevin Engel, Nick Fung, Isaac Julien
Evolving Shepherding Behavior with Genetic Programming Algorithms. CoRR (2016)
Joshua Brulé
The Computational Power of Dynamic Bayesian Networks. CoRR (2016)
Joshua Brulé
The Computational Power of Dynamic Bayesian Networks. AIC (2016)
Fan Du, Joshua Brulé, Peter Enns, Varun Manjunatha, Yoav Segev
MetroViz: Visual Analysis of Public Transportation Data. CoRR (2015)
Joshua Brulé
Review of probably approximately correct by Leslie Valiant. SIGACT News 44 (3) (2013)