Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Tingliang Zhou

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection

IEEE Transactions on Intelligent Transportation Systems

Automotive Engineering

Computer Science Applications

Mechanical Engineering

English