Ezio Bartocci

1. DeepSTL -- From English Requirements to Signal Temporal Logic
   2021/09/21 by Jie He, Ezio Bartocci, He, Jie +7 · 5 citations
   Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques
2. A Survey of Challenges for Runtime Verification from Advanced\n Application Domains (Beyond Software)
   2018/11/16 by César Sánchez, Gerardo Schneider, Sánchez, César +29 · 4 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Security and Verification in Computing #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
3. Control from Signal Temporal Logic Specifications with Smooth Cumulative\n Quantitative Semantics
   2019/04/25 by Iman Haghighi, Haghighi, Iman, Noushin Mehdipour +5 · 2 citations
   Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Formal Methods in Verification #Receptor Mechanisms and Signaling #Systems and Control (eess.SY) #electronic engineering #information engineering
4. ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
   2016/12/21 by Anna Lukina, Lukina, Anna, Lukas Esterle +13 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #FOS: Electrical engineering #Multiagent Systems (cs.MA) #Reinforcement Learning in Robotics #Robotic Path Planning Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
5. A Robust Genetic Algorithm for Learning Temporal Specifications from Data
   2017/11/13 by Laura Nenzi, Nenzi, Laura, Simone Silvetti +5 · 2 citations
   Computer Science · Engineering · #Anomaly Detection Techniques and Applications #Artificial Immune Systems Applications #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Time Series Analysis and Forecasting
6. Quantitative Regular Expressions for Arrhythmia Detection Algorithms
   2016/12/22 by Houssam Abbas, Alena Rodionova, Abbas, Houssam +7 · 1 voice
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #cs.FL #cs.LO
7. STLSat---An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas
   2026/07/23 by Marco Zamponi, Florian Lammel, Ezio Bartocci +1
   #cs.LO