Inconsistency and Sequentiality in LTL

Proceedings of the International Conference on Agents and Artificial Intelligence ◽

10.5220/0005180800460054 ◽

2015 ◽

Author(s):

Norihiro Kamide

Download Full-text