HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Tianshu Bao

Publications
Discrete-Space Analysis of Partial Differential Equations
Hoang-Dung Tran, Tianshu Bao and Taylor T. Johnson
In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems

Keyphrases

benchmark, finite difference method, partial differential equations, reachability analysis.

Copyright © 2012-2025 easychair.org. All rights reserved.