Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Wongpiromsarn, Tichakorn
53  Ergebnisse:
Personensuche X
?
1

Locally Homotopic Paths: Ensuring Consistent Paths in Hiera..:

Wongpiromsarn, Tichakorn ; Kallmann, Marcelo ; Kolling, Andreas
IEEE Robotics and Automation Letters.  9 (2024)  9 - p. 7565-7572 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Impossible Made Possible: Encoding Intractable Specificatio..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Johannsen, Chris ; Kempa, Brian ; Jones, Phillip H... - p. 151-169 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Evaluation Metrics of Object Detection for Quantitative Sys..:

, In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),
Badithela, Apurva ; Wongpiromsarn, Tichakorn ; Murray, Richard M. - p. 8651-8658 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Quantifying Faulty Assumptions in Heterogeneous Multi-Agent..:

, In: 2023 IEEE Conference on Control Technology and Applications (CCTA),
Carr, Steven ; Wongpiromsarn, Tichakorn ; Topcu, Ufuk - p. 1115-1121 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Maximum Satisfiability of Mission-Time Linear Temporal Logi:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,
Hariharan, Gokul ; Jones, Phillip H. ; Rozier, Kristin Yvonne. - p. 86-104 , 2023
Link: https://doi.org/10.1007/..
 
?
6

MLTL Multi-type (MLTLM): A Logic for Reasoning About Signal..:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,
Hariharan, Gokul ; Kempa, Brian ; Wongpiromsarn, Tichakorn.. - p. 187-204 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Temporal shift reinforcement learning:

, In: Proceedings of the 2nd European Workshop on Machine Learning and Systems,
Thomas, Deepak George ; Wongpiromsarn, Tichakorn ; Jannesari, Ali - p. 95-100 , 2022
Link: https://dl.acm.org/doi/1..
 
?
8

Design and Evaluation of Object Classifiers for Probabilist..:

, In: 2022 International Conference on Robotics and Automation (ICRA),
Ullah, Hamad ; Fan, Weisi ; Wongpiromsarn, Tichakorn - p. 7089-7095 , 2022
Link: https://doi.org/10.1109/..
 
?
9

Hierarchical Multiobjective Shortest Path Problems:

, In: Algorithmic Foundations of Robotics XIV; Springer Proceedings in Advanced Robotics,
Slutsky, Konstantin ; Yershov, Dmitry ; Wongpiromsarn, Tichakorn. - p. 261-276 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Minimum-Violation Traffic Management for Urban Air Mobility:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Bharadwaj, Suda ; Wongpiromsarn, Tichakorn ; Neogi, Natasha.. - p. 37-52 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Incremental controller synthesis in probabilistic environme..:

Ulusoy, Alphan ; Wongpiromsarn, Tichakorn ; Belta, Calin
The International Journal of Robotics Research.  33 (2014)  8 - p. 1130-1144 , 2014
Link: https://doi.org/10.1177/..
 
?
12

Road pricing design based on game theory and multi-agent co..:

Xiao, Nan ; Wang, Xuehe ; Xie, Lihua...
IEEE/CAA Journal of Automatica Sinica.  1 (2014)  1 - p. 31-39 , 2014
Link: https://doi.org/10.1109/..
 
?
13

Verifying Cyber-Physical Interactions in Safety-Critical Sy..:

Mitra, Sayan ; Wongpiromsarn, Tichakorn ; Murray, Richard M.
IEEE Security & Privacy.  11 (2013)  4 - p. 28-37 , 2013
Link: https://doi.org/10.1109/..
 
?
14

Verification of Periodically Controlled Hybrid Systems :..:

Wongpiromsarn, Tichakorn ; Mitra, Sayan ; Lamperski, Andrew.
ACM Transactions on Embedded Computing Systems (TECS).  11 (2012)  S2 - p. 1-24 , 2012
Link: https://dl.acm.org/doi/1..
 
?
15

Verification of Periodically Controlled Hybrid Systems: App..:

Wongpiromsarn, Tichakorn ; Mitra, Sayan ; Lamperski, Andrew.
ACM Transactions on Embedded Computing Systems.  11 (2012)  S2 - p. 1-24 , 2012
Link: https://doi.org/10.1145/..
 
1-15