Cited By
View all- Černý PGopi SHenzinger TRadhakrishna ATotla NJerraya ACarloni LMaraninchi FRegehr J(2012)Synthesis from incompatible specificationsProceedings of the tenth ACM international conference on Embedded software10.1145/2380356.2380371(53-62)Online publication date: 7-Oct-2012
- Zhang JHuang ZCao Z(2011)On the Controller Synthesis for Markov Decision Process of Conflict Tolerant SpecificationAdvanced Research on Electronic Commerce, Web Application, and Communication10.1007/978-3-642-20367-1_45(284-290)Online publication date: 2011
- Divakaran SD'Souza DM. R(2010)Conflict-Tolerant Real-Time Specifications in Metric Temporal LogicProceedings of the 2010 17th International Symposium on Temporal Representation and Reasoning10.1109/TIME.2010.23(35-42)Online publication date: 6-Sep-2010