Henry Yuen is developing a new mathematical language to describe problems whose inputs and outputs aren’t ordinary numbers.
Ashutosh Trivedi is an Associate Professor of computer science at the University of Colorado Boulder. His researchinterests lie at the intersection of computer science, control theory, and machine ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results