Formal Understanding of Tradeoffs among Liveness and Safety Requirements

Özgür Kafali, Nirav Ajmeri, Munindar P. Singh

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Original languageEnglish
Title of host publicationProceedings of the 3rd International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)
Place of PublicationBeijing
PublisherIEEE Computer Society
Pages17-18
Number of pages2
DOIs
Publication statusPublished - 1 Sept 2016

Bibliographical note

Extended abstract

Cite this