pith. sign in

Ezio Bartocci

Identifiers

  • name variant Ezio Bartocci 0.60 · backfill

Papers (25)

  1. Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty eess.SY · 2019 · author #2
  2. Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops cs.SC · 2019 · author #1
  3. Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics cs.SY · 2019 · author #3
  4. Monitoring Mobile and Spatially Distributed Cyber-Physical Systems cs.LO · 2019 · author #1
  5. Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time cs.SY · 2019 · author #4
  6. A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software) cs.SE · 2018 · author #4
  7. A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems cs.ET · 2018 · author #6
  8. Parameter-Independent Strategies for pMDPs via POMDPs cs.LO · 2018 · author #2
  9. Signal Convolution Logic cs.LO · 2018 · author #3
  10. A Counting Semantics for Monitoring LTL Specifications over Finite Traces cs.LO · 2018 · author #1
  11. Verifying nonlinear analog and mixed-signal circuits with inputs cs.SY · 2018 · author #4
  12. An Algebraic Framework for Runtime Verification cs.LO · 2018 · author #2
  13. A Robust Genetic Algorithm for Learning Temporal Specifications from Data cs.AI · 2017 · author #3
  14. Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems cs.SY · 2017 · author #3
  15. Quantitative Regular Expressions for Arrhythmia Detection Algorithms cs.LO · 2016 · author #3
  16. ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans cs.AI · 2016 · author #4
  17. Parallel Reachability Analysis for Hybrid Systems cs.DC · 2016 · author #3
  18. Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent cs.SY · 2016 · author #1
  19. Temporal Logic as Filtering cs.LO · 2015 · author #2
  20. Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems cs.SY · 2015 · author #3
  21. Deep Neural Programs for Adaptive Control in Cyber-Physical Systems cs.AI · 2015 · author #3
  22. A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems cs.AI · 2014 · author #2
  23. Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias cs.LO · 2013 · author #1
  24. A temporal logic approach to modular design of synthetic biological circuits cs.LO · 2013 · author #1
  25. Shape Calculus: Timed Operational Semantics and Well-formedness cs.PL · 2010 · author #1

Mentions

  • 1510.08079 #2 · backfill · confidence 0.70 Ezio Bartocci
  • 1904.11611 #3 · arxiv_oai · confidence 0.70 Ezio Bartocci
  • 1903.04326 #4 · arxiv_oai · confidence 0.70 Ezio Bartocci
  • 1803.02975 #4 · arxiv_oai · confidence 0.70 Ezio Bartocci
  • 1707.05229 #3 · arxiv_oai · confidence 0.70 Ezio Bartocci
  • 1612.07059 #4 · arxiv_oai · confidence 0.70 Ezio Bartocci
  • 1605.09703 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
  • 1504.06660 #3 · arxiv_oai · confidence 0.70 Ezio Bartocci
  • 1409.5671 #2 · arxiv_oai · confidence 0.70 Ezio Bartocci
  • 1504.06660 #3 · backfill · confidence 0.70 Ezio Bartocci
  • 1502.04013 #3 · backfill · confidence 0.70 Ezio Bartocci
  • 1409.5671 #2 · backfill · confidence 0.70 Ezio Bartocci
  • 1312.7523 #1 · backfill · confidence 0.70 Ezio Bartocci
  • 1306.4493 #1 · backfill · confidence 0.70 Ezio Bartocci
  • 1011.2488 #1 · backfill · confidence 0.70 Ezio Bartocci

Frequent Coauthors