default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAngelo Montanari
Person information
- affiliation: University of Udine, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j92]Andrea Brunello, Giuliano Fabris, Alessandro Gasparetto, Angelo Montanari, Nicola Saccomanno, Lorenzo Scalera:
A survey on recent trends in robotics and artificial intelligence in the furniture industry. Robotics Comput. Integr. Manuf. 93: 102920 (2025)- 2024
- [j91]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis. Formal Methods Syst. Des. 64(1): 1-49 (2024) - [j90]Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato
:
SAT Meets Tableaux for Linear Temporal Logic Satisfiability. J. Autom. Reason. 68(2): 6 (2024) - [j89]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. Log. Methods Comput. Sci. 20(1) (2024) - [j88]Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti:
Controller Synthesis for Timeline-based Games. Log. Methods Comput. Sci. 20(3) (2024) - [j87]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. Softw. Syst. Model. 23(2): 427-453 (2024) - [c173]Luca Geatti, Alessio Mansutti, Angelo Montanari:
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. FoSSaCS (2) 2024: 95-115 - [c172]Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno:
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring. IJCAI 2024: 3270-3280 - [i19]Luca Geatti, Alessio Mansutti, Angelo Montanari:
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version). CoRR abs/2401.09860 (2024) - [i18]Renato Acampora, Dario Della Monica, Luca Geatti, Nicola Gigante, Angelo Montanari, Pietro Sala:
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization. CoRR abs/2410.22757 (2024) - 2023
- [j86]Andrea Brunello, Dario Della Monica, Angelo Montanari, Nicola Saccomanno, Andrea Urgolo:
Monitors That Learn From Failures: Pairing STL and Genetic Programming. IEEE Access 11: 57349-57364 (2023) - [j85]Andrea Brunello, Angelo Montanari, Nicola Saccomanno:
Towards interpretability in fingerprint based indoor positioning: May attention be with us. Expert Syst. Appl. 231: 120679 (2023) - [j84]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
Pspace-completeness of the temporal logic of sub-intervals and suffixes. Inf. Comput. 294: 105083 (2023) - [j83]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
GR(1) is equivalent to R(1). Inf. Process. Lett. 179: 106319 (2023) - [j82]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
A first-order logic characterization of safety and co-safety languages. Log. Methods Comput. Sci. 19(3) (2023) - [j81]Andrea Brunello, Andrea Dalla Torre, Paolo Gallo, Donatella Gubiani, Angelo Montanari, Nicola Saccomanno:
Crowdsourced Reconstruction of Cellular Networks to Serve Outdoor Positioning: Modeling, Validation and Analysis. Sensors 23(1): 352 (2023) - [j80]Dario Della Monica, Angelo Montanari, Pietro Sala:
An interval temporal logic characterization of extended ω-regular languages. Theor. Comput. Sci. 962: 113929 (2023) - [j79]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Interval Temporal Logic for Visibly Pushdown Systems. ACM Trans. Comput. Log. 24(3): 24:1-24:32 (2023) - [c171]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. AAAI 2023: 6236-6244 - [c170]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. KR 2023: 65-74 - [c169]Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala:
The Logic of Prefixes and Suffixes is Elementary under Homogeneity*. LICS 2023: 1-12 - [c168]Nicola Saccomanno, Andrea Brunello, Angelo Montanari:
Towards Learning an Optimal Metric for Fingerprint-based Localisation. MobiCom 2023: 132:1-132:3 - [c167]Luca Geatti, Angelo Montanari, Nicola Saccomanno:
Towards Machine Learning Enhanced LTL Monitoring. OVERLAY@AI*IA 2023: 13-19 - [c166]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. TIME 2023: 2:1-2:14 - [c165]Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari:
Qualitative past Timeline-Based Games (Extended Abstract). TIME 2023: 22:1-22:3 - [e4]Agostino Dovier, Angelo Montanari, Andrea Orlandini:
Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28 - December 2, 2022. CEUR Workshop Proceedings 3419, CEUR-WS.org 2023 [contents] - [e3]Agostino Dovier, Angelo Montanari, Andrea Orlandini:
AIxIA 2022 - Advances in Artificial Intelligence - XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings. Lecture Notes in Computer Science 13796, Springer 2023, ISBN 978-3-031-27180-9 [contents] - [i17]Andrea Bernardini, Andrea Brunello, Gian Luigi Gigli, Angelo Montanari, Nicola Saccomanno:
AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning. CoRR abs/2302.05179 (2023) - [i16]Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala:
The Logic of Prefixes and Suffixes is Elementary under Homogeneity. CoRR abs/2304.11483 (2023) - [i15]Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti:
Controller Synthesis for Timeline-based Games. CoRR abs/2307.12289 (2023) - 2022
- [j78]Andrea Brunello, Angelo Montanari, Nicola Saccomanno:
A Framework for Indoor Positioning Including Building Topology. IEEE Access 10: 114959-114974 (2022) - [j77]Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala:
Decidability and complexity of action-based temporal planning over dense time. Artif. Intell. 307: 103686 (2022) - [j76]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Log. Methods Comput. Sci. 18(1) (2022) - [j75]Andrea Brunello, Angelo Montanari, Nicola Saccomanno:
A genetic programming approach to WiFi fingerprint meta-distance learning. Pervasive Mob. Comput. 85: 101681 (2022) - [j74]Angelo Montanari, Pietro Sala:
Reactive synthesis from interval temporal logic specifications. Theor. Comput. Sci. 899: 48-79 (2022) - [j73]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Complexity issues for timeline-based planning over dense time under future and minimal semantics. Theor. Comput. Sci. 901: 87-113 (2022) - [c164]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
A first-order logic characterisation of safety and co-safety languages. FoSSaCS 2022: 244-263 - [c163]Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti:
Controller Synthesis for Timeline-based Games. GandALF 2022: 131-146 - [i14]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. CoRR abs/2202.07881 (2022) - [i13]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
A combined approach to the analysis of speech conversations in a contact center domain. CoRR abs/2203.06396 (2022) - [i12]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
A first-order logic characterization of safety and co-safety languages. CoRR abs/2209.02307 (2022) - [i11]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. CoRR abs/2211.14913 (2022) - 2021
- [j72]Andrea Bernardini, Andrea Brunello, Gian Luigi Gigli, Angelo Montanari, Nicola Saccomanno:
AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning. Artif. Intell. Medicine 118: 102133 (2021) - [j71]Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds:
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past. Inf. Comput. 278: 104599 (2021) - [j70]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Complexity analysis of a unifying algorithm for model checking interval temporal logic. Inf. Comput. 280: 104640 (2021) - [j69]Andrea Brunello, Andrea Urgolo, Federico Pittino, András Montvay, Angelo Montanari:
Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments. Sensors 21(8): 2728 (2021) - [c162]Luca Geatti, Nicola Gigante, Angelo Montanari:
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. OVERLAY@GandALF 2021: 7-12 - [c161]Dario Della Monica, Angelo Montanari, Pietro Sala:
Extended ω-Regular Languages and Interval Temporal Logic. ICTCS 2021: 70-86 - [c160]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. SEFM 2021: 351-371 - [c159]Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato:
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. TIME 2021: 8:1-8:17 - [c158]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. TIME 2021: 9:1-9:19 - [c157]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Expressiveness of Extended Bounded Response LTL. GandALF 2021: 152-165 - [c156]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete. GandALF 2021: 179-194 - 2020
- [j68]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Model checking interval temporal logics with regular expressions. Inf. Comput. 272: 104498 (2020) - [j67]David Barozzini, David de Frutos-Escrig, Dario Della Monica, Angelo Montanari, Pietro Sala:
Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts. Theor. Comput. Sci. 813: 270-304 (2020) - [j66]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger:
Timeline-based planning over dense temporal domains. Theor. Comput. Sci. 813: 305-326 (2020) - [j65]Nicola Gigante, Angelo Montanari, Andrea Orlandini, Marta Cialdea Mayer, Mark Reynolds:
On timeline-based games and their complexity. Theor. Comput. Sci. 815: 247-269 (2020) - [c155]Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala:
Decidability and Complexity of Action-Based Temporal Planning over Dense Time. AAAI 2020: 9859-9866 - [c154]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD 2020: 83-92 - [c153]Andrea Brunello, Martin Kraft, Angelo Montanari, Federico Pittino, Andrea Urgolo:
Virtual Sensing of Temperatures in Indoor Environments: A Case Study. ICDM (Workshops) 2020: 805-810 - [c152]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Undecidability of Future Timeline-based Planning over Dense Temporal Domains? ICTCS 2020: 155-166 - [c151]Paolo Gallo, Donatella Gubiani, Angelo Montanari, Nicola Saccomanno:
A new similarity measure for low-sampling cellular fingerprint trajectories. MDM 2020: 9-18 - [c150]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
On a Temporal Logic of Prefixes and Infixes. MFCS 2020: 21:1-21:14 - [c149]Nicola Saccomanno, Andrea Brunello, Angelo Montanari:
Let's Forget About Exact Signal Strength: Indoor Positioning based on Access Point Ranking and Recurrent Neural Networks. MobiQuitous 2020: 215-224 - [c148]Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan:
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. OVERLAY 2020: 11-15 - [c147]Andrea Brunello, Dario Della Monica, Angelo Montanari, Andrea Urgolo:
Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification. OVERLAY 2020: 83-88 - [c146]Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari:
Complexity of Qualitative Timeline-Based Planning. TIME 2020: 16:1-16:13 - [i10]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. CoRR abs/2006.04652 (2020) - [i9]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Reactive Synthesis from Extended Bounded Response LTL Specifications. CoRR abs/2008.05335 (2020)
2010 – 2019
- 2019
- [j64]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data. Comput. 8(1): 21 (2019) - [j63]Andrea Brunello, Fernando Jiménez, Enrico Marzano, Angelo Montanari, Gracia Sánchez, Guido Sciavicco:
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data. Expert Syst. J. Knowl. Eng. 36(3) (2019) - [j62]Andrea Dalla Torre, Paolo Gallo, Donatella Gubiani, Chris Marshall, Angelo Montanari, Federico Pittino, Andrea Viel:
A map-matching algorithm dealing with sparse cellular fingerprint observations. Geo spatial Inf. Sci. 22(2): 89-106 (2019) - [j61]Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco:
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. Inf. Comput. 266: 97-125 (2019) - [j60]Andrea Brunello, Paolo Gallo, Enrico Marzano, Angelo Montanari, Nicola Vitacolonna:
An Event-Based Data Warehouse to Support Decisions in Multi-Channel, Multi-Service Contact Centers. J. Cases Inf. Technol. 21(1): 33-51 (2019) - [j59]Andrea Viel, Andrea Brunello, Angelo Montanari, Federico Pittino:
An original approach to positioning with cellular fingerprints based on decision tree ensembles. J. Locat. Based Serv. 13(1): 25-52 (2019) - [j58]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Which fragments of the interval temporal logic HS are tractable in model checking? Theor. Comput. Sci. 764: 125-144 (2019) - [j57]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. ACM Trans. Comput. Log. 20(1): 4:1-4:31 (2019) - [c145]Donatella Gubiani, Paolo Gallo, Andrea Viel, Andrea Dalla Torre, Angelo Montanari:
A Cellular Network Database for Fingerprint Positioning Systems. ADBIS (Short Papers and Workshops) 2019: 111-119 - [c144]Andrea Brunello, Joanna Kaminska, Enrico Marzano, Angelo Montanari, Guido Sciavicco, Tomasz Turek:
Assessing the Role of Temporal Information in Modelling Short-Term Air Pollution Effects Based on Traffic and Meteorological Conditions: A Case Study in Wrocław. ADBIS (Short Papers and Workshops) 2019: 463-474 - [c143]Andrea Brunello, Dario Della Monica, Angelo Montanari:
Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance. OVERLAY@AI*IA 2019: 71-76 - [c142]Angelo Montanari:
Model Checking: The Interval Way. CILC 2019: 3 - [c141]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Interval Temporal Logic for Visibly Pushdown Systems. FSTTCS 2019: 33:1-33:14 - [c140]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains. FSTTCS 2019: 34:1-34:14 - [c139]Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco:
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. GCAI 2019: 28-41 - [c138]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Model Checking Timeline-Based Systems over Dense Temporal Domains. ICTCS 2019: 235-247 - [c137]Luca Geatti, Nicola Gigante, Angelo Montanari:
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. TABLEAUX 2019: 3-20 - [c136]Andrea Brunello, Angelo Montanari, Mark Reynolds:
Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. TIME 2019: 17:1-17:19 - [c135]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. TIME 2019: 18:1-18:17 - [i8]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Undecidability of future timeline-based planning over dense temporal domains. CoRR abs/1904.09184 (2019) - 2018
- [j56]Alberto Molinari, Angelo Montanari, Adriano Peron:
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives. Inf. Comput. 259(3): 412-443 (2018) - [j55]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Inf. Comput. 262: 241-264 (2018) - [c134]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees. ICIST 2018: 240-256 - [c133]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger:
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete. ICTCS 2018: 116-127 - [c132]Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala:
A Novel Automata-Theoretic Approach to Timeline-Based Planning. KR 2018: 541-550 - [c131]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. KR 2018: 627-628 - [c130]Andrea Viel, Andrea Brunello, Angelo Montanari, Federico Pittino:
An Original Approach to Positioning with Cellular Fingerprints Based on Decision Tree Ensembles. LBS 2018: 49-70 - [c129]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
A Novel Decision Tree Approach for the Handling of Time Series. MIKE 2018: 351-368 - [c128]Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds:
A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. TIME 2018: 13:1-13:17 - [c127]Andrea Viel, Donatella Gubiani, Paolo Gallo, Angelo Montanari, Andrea Dalla Torre, Federico Pittino, Chris Marshall:
Map matching with sparse cellular fingerprint observations. UPINLBS 2018: 1-10 - [c126]Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds:
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. GandALF 2018: 176-190 - [c125]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. GandALF 2018: 191-205 - [r3]Angelo Montanari, Jan Chomicki:
Time Domain. Encyclopedia of Database Systems (2nd ed.) 2018 - [i7]Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds:
A game-theoretic approach to timeline-based planning with uncertainty. CoRR abs/1807.04837 (2018) - 2017
- [c124]Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini:
Complexity of Timeline-Based Planning. ICAPS 2017: 116-124 - [c123]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. ICALP 2017: 120:1-120:14 - [c122]Andrea Viel, Paolo Gallo, Angelo Montanari, Donatella Gubiani, Andrea Dalla Torre, Federico Pittino, Chris Marshall:
Dealing with network changes in cellular fingerprint positioning systems. ICL-GNSS 2017: 1-6 - [c121]David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala:
Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. ICTCS/CILC 2017: 27-38 - [c120]Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
A Model Checker for Interval Temporal Logic over Finite Structures. ICTCS/CILC 2017: 63-74 - [c119]Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco:
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. IJCAI 2017: 1008-1014 - [c118]Nicola Gigante, Angelo Montanari, Mark Reynolds:
A One-Pass Tree-Shaped Tableau for LTL+Past. LPAR 2017: 456-473 - [c117]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. SEFM 2017: 104-119 - [c116]Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco:
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. TIME 2017: 11:1-11:18 - [c115]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions. GandALF 2017: 31-45 - [c114]