HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Atanu Kundu

Publications
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi and Enea Zaffanella
In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)

Keyphrases

ARCH-COMP, Bounded Model Checking, hybrid system, model checker, Piecewise Constant Dynamics.

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