Search

Andrzej Wasowski

A Specification Logic for Programs in the Probabilistic Guarded Command Language
Behavior Trees in Action: A Study of Robotics Applications

Published with Wowchemy — the free, open source website builder that empowers creators.