Dmitriy Levonevskiy, Irina V. Vatamaniuk, Anton I. Saveliev. Integration of Corporate Electronic Services into a Smart Space Using Temporal Logic of Actions. In Andrey Ronzhin, Gerhard Rigoll, Roman Meshcheryakov, editors, Interactive Collaborative Robotics - Second International Conference, ICR 2017, Hatfield, UK, September 12-16, 2017, Proceedings. Volume 10459 of Lecture Notes in Computer Science, pages 134-143, Springer, 2017. [doi]
Abstract is missing.