Author:
Lu Xu,Cui Jin,Dong Yansong,Wang Wensheng,Ma Runzhe,Li Yifeng,Feng Qing
Publisher
Springer International Publishing
Reference24 articles.
1. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artif. Intell. 116(1–2), 123–191 (2000).
https://doi.org/10.1016/S0004-3702(99)00071-5
2. Baier, J.A., McIlraith, S.A.: Planning with first-order temporally extended goals using heuristic search. In: Proceedings of the Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16–20, 2006, Boston, Massachusetts, USA, pp. 788–795 (2006).
http://www.aaai.org/Library/AAAI/2006/aaai06-125.php
3. Cui, J., Duan, Z., Tian, C., Du, H.: A novel approach to modeling and verifying real-time systems for high reliability. IEEE Trans. Reliab. 67(2), 481–493 (2018).
https://doi.org/10.1109/TR.2018.2806349
4. Duan, Z., Tian, C.: A practical decision procedure for propositional projection temporal logic with infinite models. Theor. Comput. Sci. 554, 169–190 (2014).
https://doi.org/10.1016/j.tcs.2014.02.011
5. Duan, Z., Tian, C., Zhang, N.: A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Theor. Comput. Sci. 609, 544–560 (2016).
https://doi.org/10.1016/j.tcs.2015.08.039