( en | de | ru )

 

Disambiguation of "Mohalik, Swarup"

Author of the publication

copydeleteadd this publication to your clipboard
When to stop verification?: Statistical trade-off between expected loss and simulation cost.

, , , and . DATE, page 1309-1314. IEEE, (2011)

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.

Krishna Swarup Jauhri

 

Other publications of authors with the same name

Compositional Reasoning Using the Assumption-Commitment Paradigm., and . COMPOS, volume 1536 of Lecture Notes in Computer Science, page 565-583. Springer, (1997)Assumption-Commitment in Automata., and . FSTTCS, volume 1346 of Lecture Notes in Computer Science, page 153-168. Springer, (1997)Intent-driven Strategic Tactical Planning for Autonomous Site Inspection using Cooperative Drones., , , , , , , , and . IROS, page 6733-6740. IEEE, (2020)Towards 5G-Aware Robot Planning for Industrial Applications., , , , and . ETFA, page 1-8. IEEE, (2022)Scalable model-checking for precise end-to-end latency computation., , , , and . CACSD, page 19-24. IEEE, (2013)Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery., , , , and . CoRR, (2024)AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems., , , , , and . CAV, volume 5123 of Lecture Notes in Computer Science, page 204-208. Springer, (2008)MUESLI: Multi-objective Radio Resource Slice Management via Reinforcement Learning., , and . NetSoft, page 133-138. IEEE, (2022)RoboPlan5G: Coordinating Cloud-Controlled Mobile Robots with 5G Network Configuration., , , , and . ETFA, page 1-8. IEEE, (2023)Verifying timing synchronization constraints in distributed embedded architectures., , and . DATE, page 200-205. IEEE, (2012)