HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ping Hou

Publications
A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
Ping Hou and Yifei Chen
In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics

Keyphrases

automated theorem proving, axiomatization, distributed hybrid systems, Metric Temporal Logic, proof calculus, quantified dynamic logic.

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