HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Atanu Kundu

Publications
ARCH-COMP23 Category Report: Falsification
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga and Zhenya Zhang
In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
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, Benchmarking, Bounded Model Checking, Cyber-Physical Systems, evaluation, falsification, Friendly Competition, hybrid system, model checker, Piecewise Constant Dynamics.

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