Models having two kinds of components that produce the same or similar results.
forum
Submitted by Anonymous on Thu, 03/14/2019 - 10:11am
ARCH brings together researchers and practitioners to establish a curated set of benchmarks for verification, testing and reachability, and evaluate them in a friendly competition. ARCH started in 2014 and has sustained a vibrant community since. Since 2017, ARCH has organized as a part of the workshop the International Competition on Verifying Continuous and Hybrid Systems (ARCH-COMP, https://cps-vo.org/group/ARCH/), now in its 3rd iteration.
event
Submitted by Anonymous on Thu, 01/17/2019 - 1:53pm
POSTPONED TO TENTATIVE DATES 14-16.09.2020 DUE TO COVID-19 PANDEMIC
forum
Submitted by ttj on Mon, 08/27/2018 - 10:05am
HSCC 2019 Call for Papers
forum
Submitted by Anonymous on Fri, 06/15/2018 - 11:27am
forum
Submitted by BTebergen on Tue, 03/27/2018 - 5:05pm
forum
Submitted by Anonymous on Wed, 02/28/2018 - 12:34pm
Postdoctoral Research Positions in Assured Autonomy at PRECISE Center
School of Engineering and Applied Science, University of Pennsylvania
http://precise.seas.upenn.edu/
