Dynamic update for synthesized GR(1) controllers-Reference-Cited by-同舟云学术

Dynamic update for synthesized GR(1) controllers

Published:2022-05-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 44th International Conference on Software Engineering
language:
Short-container-title:

Author:

Amram Gal¹,Maoz Shahar¹,Segall Itai²,Yossef Matan¹

Affiliation:

1. Tel Aviv University

2. Nokia Bell Labs

Funder

European Research Council (ERC)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3510003.3510054

Reference40 articles.

1. [n.d.]. Spectra Website. http://smlab.cs.tau.ac.il/syntech/spectra/. [n.d.]. Spectra Website. http://smlab.cs.tau.ac.il/syntech/spectra/.

2. [n.d.]. Supporting Materials Website. http://smlab.cs.tau.ac.il/syntech/dupdate/. [n.d.]. Supporting Materials Website. http://smlab.cs.tau.ac.il/syntech/dupdate/.

3. [n.d.]. SYNTCOMP Website. http://www.syntcomp.org/. [n.d.]. SYNTCOMP Website. http://www.syntcomp.org/.

4. The disappearing boundary between development-time and run-time

5. Armin Biere , Keijo Heljanko , and Siert Wieringa . 2011. AIGER 1.9 And Beyond . Technical Report 11/2 . Institute for Formal Models and Verification, Johannes Kepler University , Altenbergerstr. 69, 4040 Linz, Austria. Armin Biere, Keijo Heljanko, and Siert Wieringa. 2011. AIGER 1.9 And Beyond. Technical Report 11/2. Institute for Formal Models and Verification, Johannes Kepler University, Altenbergerstr. 69, 4040 Linz, Austria.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SPIN-Based Linear Temporal Logic Path Planning for Ground Vehicle Missions with Motion Constraints on Digital Elevation Models;Sensors;2024-08-10

2. Validating the correctness of reactive systems specifications through systematic exploration;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23