Cooperative tracking with binary-detection sensor networks K Mechitov, S Sundresh, Y Kwon, G Agha Proceedings of the 1st international conference on Embedded networked sensor …, 2003 | 232 | 2003 |
Resilient localization for sensor networks in outdoor environments YM Kwon, K Mechitov, S Sundresh, W Kim, G Agha ACM Transactions on Sensor Networks (TOSN) 7 (1), 1-30, 2010 | 170 | 2010 |
ActorNet: An actor platform for wireless sensor networks YM Kwon, S Sundresh, K Mechitov, G Agha Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 125 | 2006 |
Reasoning about MDPs as transformers of probability distributions VA Korthikanti, M Viswanathan, G Agha, YM Kwon 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 56 | 2010 |
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains YM Kwon, G Agha International conference on formal engineering methods, 194-208, 2004 | 46 | 2004 |
LTLC: Linear temporal logic for control YM Kwon, G Agha International Workshop on Hybrid Systems: Computation and Control, 316-329, 2008 | 42 | 2008 |
Passive localization: Large size sensor network localization based on environmental events YM Kwon, G Agha 2008 International Conference on Information Processing in Sensor Networks …, 2008 | 39 | 2008 |
Model checking MDPs with a unique compact invariant set of distributions R Chadha, VA Korthikanti, M Viswanathan, G Agha, YM Kwon 2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011 | 25 | 2011 |
Scalable modeling and performance evaluation of wireless sensor networks YM Kwon, G Agha 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2006 | 25 | 2006 |
Verifying the evolution of probability distributions governed by a DTMC YM Kwon, G Agha IEEE Transactions on Software Engineering 37 (1), 126-141, 2010 | 21 | 2010 |
A markov reward model for software reliability YM Kwon, G Agha 2007 IEEE International Parallel and Distributed Processing Symposium, 1-6, 2007 | 19 | 2007 |
Coordination services for wireless sensor networks S Sundresh, G Agha, K Mechitov, WY Kim, Y Kwon International Workshop on Advanced Sensors, Structural Health Monitoring and …, 2003 | 18 | 2003 |
iLTLChecker: a probabilistic model checker for multiple DTMCs YM Kwon, G Agha Second International Conference on the Quantitative Evaluation of Systems …, 2005 | 15 | 2005 |
Keyword-based vehicle retrieval EJ Park, H Kim, S Jeong, B Kang, YM Kwon Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2021 | 12 | 2021 |
Extension of convolutional neural network with general image processing kernels JH Jung, Y Shin, YM Kwon TENCON 2018-2018 IEEE Region 10 Conference, 1436-1439, 2018 | 12 | 2018 |
Bounded model checking of hybrid systems for control YM Kwon, E Kim IEEE Transactions on Automatic Control 60 (11), 2961-2976, 2015 | 10 | 2015 |
Design and implementation of a mobile actor platform for wireless sensor networks YM Kwon, K Mechitov, G Agha Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the …, 2014 | 10 | 2014 |
Specification and verification of pharmacokinetic models YM Kwon, E Kim Advances in Computational Biology, 465-472, 2010 | 10 | 2010 |
Cooperative tracking with binary-detection sensor networks S Chits, S Sundresh, Y Kwon, G Agha Technical Report UIUCDCS-R-2003-2379, Computer Science Dept., University of …, 2003 | 9 | 2003 |
Recen: resilient manet based centralized multi robot system using mobile agent system H Kang, H Kim, YM Kwon 2019 IEEE symposium series on computational intelligence (SSCI), 1952-1958, 2019 | 8 | 2019 |