Computing Adequately Permissive Assumptions for Synthesis

Anand, Ashwani; Mallik, Kaushik; Nayak, Satya Prakash; Schmuck, Anne-Kathrin

doi:10.1007/978-3-031-30820-8_15

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

会議論文

Computing Adequately Permissive Assumptions for Synthesis

MPS-Authors

/persons/resource/persons289249

Anand, Ashwani
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons275112

Nayak, Satya Prakash
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons188484

Schmuck, Anne-Kathrin
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

There are no locators available

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

978-3-031-30820-8_15.pdf
(出版社版), 510KB

付随資料 (公開)

There is no public supplementary material available

引用

Anand, A., Mallik, K., Nayak, S. P., & Schmuck, A.-K. (2023). Computing Adequately Permissive Assumptions for Synthesis. In S., Sankaranarayanan, & N., Sharzgina (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 211-228). Berlin: Springer. doi:10.1007/978-3-031-30820-8_15.

引用: https://hdl.handle.net/21.11116/0000-000D-0D99-9

要旨

要旨はありません