[C127] Viel A., Brunello A., Montanari A., and Pittino F., "An original approach to positioning with cellular fingerprints based on decision tree ensembles", Proceedings of the 14th International Conference on Location Based Services (LBS), Lecture Notes in Cartography and Geoinformation, Springer, Zurich, Suisse, January 2018.


[C126] Brunello A., Marzano, E., Montanari A., and Sciavicco G., "Decision Tree Pruning via Multi-Objective Evolutionary Computation", Proceedings of the 2017 Asia Conference on Machine Learning and Computing (ACMLC), Singapore, December 2017.


[C125] Della Monica D., de Frutos-Escrig D., Montanari A., Murano A., and Sciavicco G., "Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking". Proceedings of the 24th International Symposium on Temporal Representation and Reasoning (TIME), LIPIcs, Mons, Belgium, October, 2017, pp. 11:1-11:18.


[C124] Cominato E., Della Monica D., Montanari A., and Sciavicco G., "A Model Checker for Interval Temporal Logic over Finite Structures". Proceedings of the 18th Italian Conference on Theoretical Computer Science (ICTCS/CILC), Napoli, Italy, September 2017, pp. 63-74.


[C123] Barozzini D., Della Monica D., Montanari A., and Sala P., "Counter-queue automata with an application to a meaningful extension of omega-regular languages". Proceedings of the 18th Italian Conference on Theoretical Computer Science (ICTCS/CILC), Napoli, Italy, September 2017, pp. 27-38.


[C122] Della Monica D., Montanari A., and Sala P., "Beyond ωBS-regular languages: ωT-regular expressions and counter-check automata". Proceedings of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS 256, Rome, Italy, September 2017, pp. 223-237.


[C121] Bozzelli L., Molinari A., Montanari A., and Peron A., "On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions". Proceedings of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS 256, Rome, Italy, September 2017, pp. 31-45.


[C120] Bozzelli L., Molinari A., Montanari A., and Peron A., "An in-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions". Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM), A. Cimatti and M. Sirjani (Eds.), LNCS 10469, Springer, Trento, Italy, September, 2017, pp. 104-119.


[C119] Della Monica D., Gigante N., Montanari A., Sala P., and Sciavicco G., "Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints". Proceedings of the International Joint Conference on Artificial Intelligence 2017 (IJCAI), Melbourne, Australia, August, 2017, pp. 1008-1014.


[C118] Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption", Proceedings of the 44th International Colloquium on Automata, Languages and Programming (ICALP), Warsaw, Poland, July, 2017, pp. 120:1-120:14 (slides).


[C117] Viel A., Gallo P., Montanari A., Gubiani D., Dalla Torre A., Pittino F., and Marshall, C., "Dealing with network changes in cellular fingerprint positioning systems". Proceedings of the International Conference on Localization and GNSS 2017 (ICL-GNSS), Nottingham, UK, June, 2017.


[C116] Gigante N., Montanari A., Cialdea Mayer M., Orlandini A., "Complexity of Timeline-based Planning", Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS), Pittsburgh, USA, June, 2017.


[C115] Gigante N., Montanari A., Reynolds M., "A One-Pass Tree-Shaped Tableau for LTL+Past", Proceedings of the 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), T. Eiter and D. Sands (eds.), EPiC Series in Computing, Volume 46, Maun Botswana, May, 2017, pp. 456-473.