Closed ssantus closed 3 years ago
Hi, Did you modify any files in the repo? I downloaded again the repo and ran all Jupyter notebook files without any error. Could you check whether something is different between the code in the repo and yours? Thank you
@YaChienChang No, I didn't change anything. I think the problem can be in the version of the modules. Could you please tell me which version of the required modules are you running in your environment? Thanks in advance!
Hi, The version of the modules I am using :
dReal: v4.19.02.1
PyTorch: 1.2.0
@YaChienChang , downgrading my version of PyTorch to 1.2.0, as you indicated, solved my issue. Thanks!
Hi, I am trying to run your repository but I get the following error: "RuntimeError: expected scalar type Float but found Double" when trying to run the block of Learning and Falsification on both the inverted pendulum and the path following notebooks. I am not sure how to proceed and I was wondering if you have faced this before. More details about the error:
0 Lyapunov Risk= 73.07649993896484 ===========Verifying========== Not a Lyapunov function. Found counterexample: x1 : [-5.607981400644867165, -5.607370072610038392] x2 : [0.9742785792574937265, 0.974595727232512421]
RuntimeError Traceback (most recent call last)