Author:Atanu Kundu
KeyphrasesARCH-COMP, Benchmarking, Bounded Model Checking, Cyber-Physical Systems, evaluation, falsification, Friendly Competition, hybrid system, model checker, Piecewise Constant Dynamics. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |