E-LIB Suche - Ergebnisse für: Pérez, Guillermo

1

Continuous One-counter Automata:

Blondin, Michael ; Leys, Tim ; Mazowiecki, Filip..
ACM Transactions on Computational Logic. 24 (2023) 1 - p. 1-31 , 2023

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

2

Acacia-Bonsai: A Modern Implementation of Downset-Based LTL..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Cadilhac, Michaël ; Pérez, Guillermo A. - p. 192-207 , 2023

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

3

Synthesizing Efficiently Monitorable Formulas in Metric Tem..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Raha, Ritam ; Roy, Rajarshi ; Fijalkow, Nathanaël.. - p. 264-288 , 2023

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

4

Child-Robot Conversation in the Wild Wild Home: A Language ..:

, In: 2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN),

Perez, Guillermo ; Garcia, Gonzalo A. ; Castro, Manuel... - p. 1436-1442 , 2023

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

5

Bi-objective Lexicographic Optimization in Markov Decision ..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Busatto-Gaston, Damien ; Chakraborty, Debraj ; Majumdar, Anirban... - p. 203-223 , 2023

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

6

Graph-Based Reductions for Parametric and Weighted MDPs:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Engelen, Kasper ; Pérez, Guillermo A. ; Rao, Shrisha - p. 137-157 , 2023

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

7

Automata with Timers:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Bruyère, Véronique ; Pérez, Guillermo A. ; Staquet, Gaëtan. - p. 33-49 , 2023

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

8

Alterations in Calcium Handling Are a Common Feature in an ..:

Vallverdú-Prats, Marta ; Carreras, David ; Pérez, Guillermo J....
International Journal of Molecular Sciences. 24 (2023) 3 - p. 2109 , 2023

Link: https://doi.org/10.3390/..

9

Validating Streaming JSON Documents with Learned VPAs:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bruyère, Véronique ; Pérez, Guillermo A. ; Staquet, Gaëtan - p. 271-289 , 2023

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

10

Anomaly Behavior Analysis for Sensors Fault Detection:

, In: 2023 IEEE Symposium Series on Computational Intelligence (SSCI),

Perez, Guillermo ; Pacheco, Jesus ; Benitez, Victor - p. 1718-1723 , 2023

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

11

Living with Haru4Kids: Study on children's activity and eng..:

, In: 2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN),

Garcia, Gonzalo A. ; Perez, Guillermo ; Levinson, Leigh... - p. 1428-1435 , 2023

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

12

Generation of the induced pluripotent stem cell line ESi108..:

Martínez-Moreno, Rebecca ; Pérez-Serra, Alexandra ; Selga, Elisabet...
Stem Cell Research. 73 (2023) - p. 103239 , 2023

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

13

A Framework for the Competitive Analysis of Model Predictiv..:

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

Bellis, Stijn ; Denil, Joachim ; Krishnamurthy, Ramesh... - p. 141-154 , 2023

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

14

Living with Haru4Kids: Child and Parent Perceptions of a Co..:

, In: Social Robotics; Lecture Notes in Computer Science,

Levinson, Leigh ; Garcia, Gonzalo A. ; Perez, Guillermo... - p. 54-63 , 2022

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

15

Learning Realtime One-Counter Automata:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bruyère, Véronique ; Pérez, Guillermo A. ; Staquet, Gaëtan - p. 244-262 , 2022

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