( en | de | ru )

 

Disambiguation of "Manasa, Lakshmi"

Author of the publication

copydeleteadd this publication to your clipboard
Stochastic Timed Games Revisited.

, , , , and . CoRR, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sreeja Lakshmi

Lakshmi Srinivasan

Lakshmi Kotsch

Lakshmi Narayanan Kumaraswamy

Lakshmi Narayanan Venkataraman

 

Other publications of authors with the same name

Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives., , and . ICDCIT, volume 7154 of Lecture Notes in Computer Science, page 117-128. Springer, (2012)Updatable Timed Automata with Additive and Diagonal Constraints., , and . CiE, volume 5028 of Lecture Notes in Computer Science, page 407-416. Springer, (2008)Timed Automata with Integer Resets: Language Inclusion and Expressiveness., , , and . FORMATS, volume 5215 of Lecture Notes in Computer Science, page 78-92. Springer, (2008)Model Checking Weighted Integer Reset Timed Automata., , and . Theory Comput. Syst., 48 (3): 648-679 (2011)Analysis of Peer Group Behavior Among University Students., and . CHI Extended Abstracts, ACM, (2018)Ensemble Models for Multi-class Classification of Diabetic Retinopathy., , and . PReMI, volume 13102 of Lecture Notes in Computer Science, page 110-117. Springer, (2021)A Latency and Throughput Efficient Successive Cancellation Decoding of Polar Codes., and . VDAT, volume 1066 of Communications in Computer and Information Science, page 741-748. Springer, (2019)Optimal Placement of the μPMUs in Distribution Systems Using Hybrid Technique., , and . IECON, page 1653-1657. IEEE, (2020)AnnoTainted: Automating Physical Activity Ground Truth Collection Using Smartphones., , , , , and . WPA@MobiSys, page 13-18. ACM, (2016)Smartphone-based Qualitative Analyses of Social Activities During Family Time., , , , and . HumanSys@SenSys, page 49-54. ACM, (2017)