document.getElementById('index-articles-list').innerHTML = `

Reoptimization of parameterized problems

参数问题的重新最优化算法研究

Hans-Joachim Böckenhauer,Elisabet Burjons,Martin Raszyk et al.

Acta informatica. 2022;59(4):427-450. DOI:10.1007/s00236-022-00428-y

Indecision and delays are the parents of failure-taming them algorithmically by synthesizing delay-resilient control

犹豫和延迟是失败的根源-通过合成抵御延迟的控制来解决它们

Mingshuai Chen,Martin Fränzle,Yangjia Li et al.

Acta informatica. 2021;58(5):497-528. DOI:10.1007/s00236-020-00374-7

Automated formal synthesis of provably safe digital controllers for continuous plants

自动合成用于连续体的可证明安全的数字控制器

Alessandro Abate,Iury Bessa,Lucas Cordeiro et al.

Acta informatica. 2020;57(1):223-244. DOI:10.1007/s00236-019-00359-1

Synthesis from hyperproperties

基于超性质的综合研究

Bernd Finkbeiner,Christopher Hahn,Philip Lukert et al.

Acta informatica. 2020;57(1):137-163. DOI:10.1007/s00236-019-00358-2

Performance heuristics for GR(1) synthesis and related algorithms

GR(1)合成及相关算法的性能启发式方法研究

Elizabeth Firman,Shahar Maoz,Jan Oliver Ringert

Acta informatica. 2020;57(1):37-79. DOI:10.1007/s00236-019-00351-9

`; document.getElementById('index-articles-more').href = `https://i.iikx.com/journal/0001-5903.html`; document.getElementById('index-articles-more').innerHTML='更多内容'; document.getElementById('index-articles-more').style="float:right;background:var(--primary-color);color:#fff;font-size:13px;border-radius:5px;padding:0px 10px;margin-right:5px;line-height:1.7"; document.getElementsByClassName('index-artcles')[0].style.display = 'block'; document.getElementById('showJournalIndexUrl').style.display = 'block'; document.querySelector('#showJournalIndexUrl a').href = `https://i.iikx.com/journal/0001-5903.html`;