Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Whittemore: An embedded domain specific language for causal programming.. CoRR, (2018)Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples., , , , , and . CoRR, (2020)The Computational Power of Dynamic Bayesian Networks.. AIC, volume 1895 of CEUR Workshop Proceedings, page 158-166. CEUR-WS.org, (2016)Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm., , , , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 214-230. Springer, (2021)Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns., , , , , and . CoRR, (2022)MetroViz: Visual Analysis of Public Transportation Data., , , , and . CoRR, (2015)Evolving Shepherding Behavior with Genetic Programming Algorithms., , , and . CoRR, (2016)Causal programming: inference with structural causal models as finding instances of a relation.. CoRR, (2018)Review of probably approximately correct by Leslie Valiant.. SIGACT News, 44 (3): 38-39 (2013)Searching for explanations: testing social scientific methods in synthetic ground-truthed worlds., , , , , , , , , and 8 other author(s). Comput. Math. Organ. Theory, 29 (1): 156-187 (March 2023)