Found 6 Documents (Results 1–6)
Synthesizing permissive winning strategy templates for parity games. (English) Zbl 07798075
Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13964, 436-458 (2023).
Safe environmental envelopes of discrete systems. (English) Zbl 07798070
Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13964, 326-350 (2023).
With a little help from your friends: semi-cooperative games via joker moves. (English) Zbl 07786547
Huisman, Marieke (ed.) et al., Formal techniques for distributed objects, components, and systems. 43rd IFIP WG 6.1 international conference, FORTE 2023, held as part of the 18th international federated conference on distributed computing techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13910, 155-172 (2023).
Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications. (English) Zbl 1461.93148
Synthesizing optimally resilient controllers. (English) Zbl 1528.68085
Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 34, 17 p. (2018).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (4)
all
top 5
Author
- Kang, Eunsuk (2)
- Meira-Góes, Rômulo (2)
- Tripakis, Stavros (2)
- Anand, Ashwani (1)
- Dardik, Ian (1)
- Eqtami, Alina (1)
- Girard, Antoine (1)
- Lafortune, Stéphane (1)
- Nayak, Satya Prakash (1)
- Neider, Daniel (1)
- Schmuck, Anne-Kathrin (1)
- Stoelinga, Mariëlle (1)
- van den Bos, Petra (1)
- Weinert, Alexander (1)
- Zimmermann, Martin (1)
Serial
- Automatica (1)
- Discrete Event Dyn. Syst. (1)