Human-induced pluripotent stem cells derived cardiomyocytes (hiPSC-CMs) are a virtually endless source of human cardiomyocytes that may become a great tool for safety pharmacology; however, their electrical phenotype is immature: they show spontaneous action potentials (APs) and an unstable and depolarized resting membrane potential (RMP) because of lack of I K1 . Such immaturity hampers their application in assessing drug safety. The electronic overexpression of I K1 (e.g., through the dynamic clamp (DC) technique) is an option to overcome this deficit. In this computational study, we aim to estimate how much I K1 is needed to bring hiPSC-CMs to a stable and hyperpolarized RMP and which mathematical description of I K1 is most suitable for DC experiments. We compared five mature I K1 formulations (Bett, Dhamoon, Ishihara, O'Hara-Rudy, and ten Tusscher) with the native one (Paci), evaluating the main properties (outward peak, degree of rectification), and we quantified their effects on AP features (RMP, _ V max , APD 50 , APD 90 (AP duration at 50 and 90% of repolarization), and APD 50 /APD 90 ) after including them in the hiPSC-CM mathematical model by Paci. Then, we automatically identified the critical conductance for I K1 ( G K1, critical ), the minimally required amount of I K1 suppressing spontaneous activity. Preconditioning the cell model with depolarizing/hyperpolarizing prepulses allowed us to highlight time dependency of the I K1 formulations. Simulations showed that inclusion of mature I K1 formulations resulted in hyperpolarized RMP and higher _ V max , and observed G K1, critical and the effect on AP duration strongly depended on I K1 formulation. Finally, the Ishihara I K1 led to shorter (À16.3%) and prolonged (þ6.5%) APD 90 in response to hyperpolarizing and depolarizing prepulses, respectively, whereas other models showed negligible effects. Fine-tuning of G K1 is an important step in DC experiments. Our computational work proposes a procedure to automatically identify how much I K1 current is required to inject to stop the spontaneous activity and suggests the use of the Ishihara I K1 model to perform DC experiments in hiPSC-CMs. SIGNIFICANCE In this work, we aim to contribute a method that will facilitate automated dynamic clamp (DC) experiments in which I K1 is injected in induced pluripotent stem-cell-derived cardiomyocytes (iPSC-CMs). By introducing G K1, critical (minimal I K1 conductance needed to stop automaticity of iPSC-CMs), we are proposing a different approach to setting up DC experiments. These are usually based on the injection of a fixed current density. In contrast, G K1, critical is a parameter that depends on the cell under investigation. Our in silico approach analyzed analogies and differences between I K1 formulations without the confounding factor that can be brought by the variability of iPSC-CMs. It highlighted how much the employed mathematical formulation of I K1 can affect G K1, critical and the action potential waveform in DC experiments.