Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Pérez, Guillermo A.
11689  Ergebnisse:
Personensuche X
?
1

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/..
 
?
2

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/..
 
?
3

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/..
 
?
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

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/..
 
?
6

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/..
 
?
7

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/..
 
?
8

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/..
 
?
9

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/..
 
?
10

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/..
 
?
11

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/..
 
?
12

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/..
 
?
13

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/..
 
?
14

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/..
 
?
15

Hey Haru, Let's Be Friends! Using the Tiers of Friendship t..:

, In: 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),
Nichols, Eric ; Siskind, Sarah Rose ; Ivanchuk, Levko... - p. 6101-6108 , 2022
Link: https://doi.org/10.1109/..
 
1-15