Author:
Almagor Shaull,Hirshfeld Yoram,Kupferman Orna
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Alpern, B., Schneider, F.B.: Defining liveness. IPL 21, 181–185 (1985)
2. Alur, R., Etessami, K., La Torre, S., Peled, D.: Parametric temporal logic for model measuring. ACM Transactions on Computational Logic 2(3), 388–407 (2001)
3. Alur, R., Henzinger, T.A.: Finitary fairness. In: Proc. 9th IEEE Symp. on Logic in Computer Science, pp. 52–61 (1994)
4. Bojanczyk, M.: A bounding quantifier. In: Proc. 13th Annual Conf. of the European Association for Computer Science Logic, pp. 41–55 (2004)
5. Bojańczyk, M., Colcombet, T.: Bounds in ω-regularity. In: Proc. 21st IEEE Symp. on Logic in Computer Science, pp. 285–296 (2006)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Prompt Interval Temporal Logic;Logics in Artificial Intelligence;2016
2. Discounting in LTL;Tools and Algorithms for the Construction and Analysis of Systems;2014
3. On Promptness in Parity Games;Logic for Programming, Artificial Intelligence, and Reasoning;2013