Stefan Schulz

发表

Passive Rotation of Rotational Joints and Its Computation Method

Arthur Seibel, Josef Schlattmann, Shucen Du, 2019 .

First-Order Logic with Reachability Predicates on Infinite Systems

Stefan Schulz, 2010, FSTTCS.