VSL 2014: VIENNA SUMMER OF LOGIC 2014

From Reachability to Temporal Specifications in Cost-Sharing Games

Authors: Guy Avni, Orna Kupferman and Tami Tamir

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:From Reachability to Temporal Specifications in Cost-Sharing Games
Authors:Guy Avni, Orna Kupferman and Tami Tamir
Proceedings:IJCAR 2014 LNCS proceedings
Editors: Stéphane Demri, Deepak Kapur and Christoph Weidenbach
Keywords:
Abstract:
Pages:15
Paper:
Disclaimer | Powered by EasyChair Smart Program