E-LIB Suche - Ergebnisse für: Mover, Sergio

1

Goal Space Abstraction in Hierarchical Reinforcement Learni..:

, In: 2023 IEEE International Conference on Development and Learning (ICDL),

Zadem, Mehdi ; Mover, Sergio ; Nguyen, Sao Mai - p. 423-428 , 2023

Link: https://doi.org/10.1109/..

2

SMT-Based Stability Verification of an Industrial Switched ..:

, In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W),

Basagiannis, Stylianos ; Battista, Ludovico ; Becchi, Anna... - p. 243-250 , 2023

Link: https://doi.org/10.1109/..

3

Historia: Refuting Callback Reachability with Message-Histo..:

Meier, Shawn ; Mover, Sergio ; Kaki, Gowtham.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1905-1934 , 2023

Link: https://doi.org/10.1145/..

4

Verification modulo theories:

Cimatti, Alessandro ; Griggio, Alberto ; Mover, Sergio..
Formal Methods in System Design. 60 (2022) 3 - p. 452-481 , 2022

Link: https://doi.org/10.1007/..

5

Implicit Semi-Algebraic Abstraction for Polynomial Dynamica..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Mover, Sergio ; Cimatti, Alessandro ; Griggio, Alberto.. - p. 529-551 , 2021

Link: https://doi.org/10.1007/..

6

Reaching Out Towards Fully Verified Autonomous Systems:

, In: Lecture Notes in Computer Science; Reachability Problems,

Sankaranarayanan, Sriram ; Dutta, Souradeep ; Mover, Sergio - p. 22-32 , 2019

Link: https://doi.org/10.1007/..

7

DroidStar : callback typestates for Android classes:

, In: Proceedings of the 40th International Conference on Software Engineering,

Radhakrishna, Arjun ; Lewchenko, Nicholas V. ; Meier, Shawn... - p. 1160-1170 , 2018

Link: https://dl.acm.org/doi/1..

8

Compositional Relational Abstraction for Nonlinear Hybrid S..:

Chen, Xin ; Mover, Sergio ; Sankaranarayanan, Sriram
ACM Transactions on Embedded Computing Systems (TECS). 16 (2017) 5s - p. 1-19 , 2017

Link: https://dl.acm.org/doi/1..

9

Compositional Relational Abstraction for Nonlinear Hybrid S..:

Chen, Xin ; Mover, Sergio ; Sankaranarayanan, Sriram
ACM Transactions on Embedded Computing Systems. 16 (2017) 5s - p. 1-19 , 2017

Link: https://doi.org/10.1145/..

10

Infinite-state invariant checking with IC3 and predicate ab..:

Cimatti, Alessandro ; Griggio, Alberto ; Mover, Sergio.
Formal Methods in System Design. 49 (2016) 3 - p. 190-218 , 2016

Link: https://doi.org/10.1007/..

11

Safety assessment of AltaRica models via symbolic model che..:

Bozzano, Marco ; Cimatti, Alessandro ; Lisagor, Oleg...
Science of Computer Programming. 98 (2015) - p. 464-483 , 2015

Link: https://doi.org/10.1016/..

12

Quantifier-free encoding of invariants for hybrid systems:

Cimatti, Alessandro ; Mover, Sergio ; Tonetta, Stefano
Formal Methods in System Design. 45 (2013) 2 - p. 165-188 , 2013

Link: https://doi.org/10.1007/..

13

Time-aware relational abstractions for hybrid systems:

, In: Proceedings of the Eleventh ACM International Conference on Embedded Software,

Mover, Sergio ; Cimatti, Alessandro ; Tiwari, Ashish. - p. 1-10 , 2013

Link: https://dl.acm.org/doi/1..

14

SMT-based scenario verification for hybrid systems:

Cimatti, Alessandro ; Mover, Sergio ; Tonetta, Stefano
Formal Methods in System Design. 42 (2012) 1 - p. 46-66 , 2012

Link: https://doi.org/10.1007/..

15

Proving and explaining the unfeasibility of message sequenc..:

, In: Proceedings of the International Conference on Formal Methods in Computer-Aided Design,

Cimatti, Alessandro ; Mover, Sergio ; Tonetta, Stefano - p. 54-62 , 2011

Link: https://dl.acm.org/doi/1..