Temporal Logic as Filtering.

Authors :: Rodionova, Alena
Bartocci, Ezio
Nickovic, Dejan
Grosu, Radu
Source :: Proceedings of the 19th International Conference Hybrid Systems Computation & Control; 2016, p11-20, 10p
Publication Year :: 2016

Language :: English
Database :: Complementary Index
Journal :: Proceedings of the 19th International Conference Hybrid Systems Computation & Control
Publication Type :: Conference
Accession number :: 117550317
Full Text :: https://doi.org/10.1145/2883817.2883839