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
Number of pages2
Publication statusPublished - 1 Sept 2016

Bibliographical note

Extended abstract

Cite this