Author:
Alur Rajeev,Kanade Aditya,Weiss Gera
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Alur, R., Etessami, K., Torre, S.L., Peled, D.: Parametric temporal logic for “model measuring”. ACM Trans. Comput. Log 2(3), 388–407 (2001)
2. Lecture Notes in Computer Science;G. Bruns,2004
3. Buttazzo, G.: Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, Boston, USA (2000)
4. Chatterjee, K.: A linear-time algorithm for weak parity games. Technical Report UCB/EECS-2006-153, University of California, Berkeley (2006)
5. Cleaveland, R., Steffen, B.: A linear-time model-checking algorithm for the alternation-free modal mu-calculus. In: Proc. 3rd Conference on Computer Aided Verification, pp. 48–58 (1991)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Maximum Realizability for Linear Temporal Logic Specifications;Automated Technology for Verification and Analysis;2018
2. Latticed-LTL synthesis in the presence of noisy inputs;Discrete Event Dynamic Systems;2017-04-06
3. Minimizing Deterministic Lattice Automata;ACM Transactions on Computational Logic;2015-03
4. Inherent Vacuity in Lattice Automata;Fields of Logic and Computation II;2015
5. How to Handle Assumptions in Synthesis;Electronic Proceedings in Theoretical Computer Science;2014-07-18