Category Archives: Uncategorized


This is a summary of the group meetings on 7 April, 2021

L*- Based Learning of Markov Decision Processes

They provide two algorithms to learn a given black-box Markov decision processes based on Angluin’s L* algorithm. They are exact learning and sample-based learning, respectively.

Q: What is for unambiguous?
A: The compatibility relation is not an equivalence relation, and a state may belong to more than one classes, which we call an ambiguous state, so for an unambiguous state, there is only one class whose representation is compatible with it.

Q: How to check equivalence in exact learning?
A: First it checks whether the hypothesis is isomophic to the model. If so, we only need finitely many output distribution queries to determine all the transition probabilities.

Q: Is there a quantitative description of the convergence?
A: Not yet in the paper. In the paper it only gives a convergence description based on Borel-Cantelli Lemma. It is interesting to consider its PAC guarantee description.

Q: Can MDP learning used for model checking and other field in software engineering?
A: There are some experiments in the paper. We need more investigation on this part.


This is a summary of the group meetings on 24 March, 2021

Efficient Certification of Spatial Robustness

这篇文章提出了一种计算范数约束向量场攻击的紧区间界限的新方法,使神经网络能够对向量场攻击进行验证。 首先是对每个像素的变换计算一个很紧的区间界,然后提出一个方法用线性平面去拟合这个上界和下界,也就是用线性平面计算它的凸松弛。并且展示了如何通过flow constraints来提供一个更紧的凸松弛。这种方法可以收紧对光滑向量场的松弛,并且可以和目前主流的鲁棒性验证器集成。


  1. 在二范数的情况下,如何通过平面去约束球体呢?


  1. 这个向量场攻击有什么实际意义吗?


  1. 文章有说可以解决什么样的流约束吗?或者这个流约束是怎么定义的?


JCST Special Section on Software Systems 2020

The Journal of Computer Science & Technology, a CCF B ranked journal, is going to have a special section on software systems. Software systems have played critical roles in scientific research, business and society with research focuses on construction, operation, maintenance, and assessment of software systems. The special section is an effort to encourage and promote research to address challenges from the software systems perspective and its goal is to present the state-of-the-art and high-quality original research papers in the area of software systems.

The JCST’s special section of software systems covers two main themes:

  • Internetware and Beyond, aiming to provide a forum where researchers and professionals from multiple disciplines and domains share ideas to explore and address the challenges brought by Internetware. It solicits submissions describing results of theoretical, empirical, conceptual, and experimental software engineering research related to Internetware.
  • Dependable Software Engineering, soliciting submissions describing theoretical results, tools, and applications, related to applying formal methods in improving the quality of computer software and systems.

Accepted papers to the Dependable Software Engineering theme will be presented and discussed at the SETTA 2020 conference.

Papers need to be submitted before April 10, 2020; for more details about the themes, submission instructions and deadlines, see the official JCST CFP page.

Call for Applications: 2016 Call for Applications for the CAS-TWAS President’s Fellowship

According to an agreement between the Chinese Academy of Sciences (CAS) and The World Academy of Sciences (TWAS) for the advancement of science in developing countries, up to 200 students/scholars from all over the world will be sponsored to study in China for doctoral degrees for up to 4 years.

This CAS-TWAS President’s Fellowship Programme provides students/scholars that are non-Chinese citizens an opportunity to pursue doctoral degrees at the University of Chinese Academy of Sciences (UCAS), the University of Science and Technology of China (USTC) or Institutes of CAS around China.

Under the terms of the CAS-TWAS agreement, travel from their home countries to China will be provided to the fellowship awardees in order to begin the fellowship in China (one trip only per student/scholar). TWAS will select 80 awardees from developing countries to support their international travel, while CAS will support the other 120. Visa fee will also be covered (once only per awardee) as a lump sum of USD 65 when all the awardees are on site in China. Any awardee on site in China, the host country, at the time of application will NOT be eligible for any travel or visa reimbursement.

Thanks to generous contribution of CAS, fellowship awardees will receive a monthly stipend (to cover accommodation and other living expenses, local travel expenses and health insurance) of RMB 7,000 or RMB 8,000 from CAS through UCAS/USTC, depending on whether he/she has passed the qualification test arranged by UCAS/USTC for all doctoral candidates after admission. All awardees will also be provided tuition and admission fee waivers.

Please refer to this file for details.