Venus Pasandi

15 papers A* 1Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Int. J. Semantic Comput.
Nuno Guedelha, Venus Pasandi, Giuseppe L'Erario, Silvio Traversaro, Daniele Pucci
2024 J jnl
CoRR
Nuno Guedelha, Venus Pasandi, Giuseppe L'Erario, Silvio Traversaro, Daniele Pucci
2024 conf
RoMoCo
Venus Pasandi, Nicolas Andreff
2023 A* conf
ICRA
Venus Pasandi, Daniele Pucci
2023 J jnl
CoRR
Venus Pasandi, Daniele Pucci
2022 conf
IRC
Nuno Guedelha, Venus Pasandi, Giuseppe L'Erario, Silvio Traversaro, Daniele Pucci
2022 J jnl
CoRR
Nuno Guedelha, Venus Pasandi, Giuseppe L'Erario, Silvio Traversaro, Daniele Pucci
2022 J jnl
Int. J. Robotics Autom.
Venus Pasandi, Hamid Sadeghian, Mehdi Keshmiri, Hossein Karimpour
2022 J jnl
IEEE Trans. Autom. Control.
Venus Pasandi, Hamid Sadeghian, Mehdi Keshmiri, Daniele Pucci
2022 J jnl
CoRR
Venus Pasandi, Hamid Sadeghian, Mehdi Keshmiri, Daniele Pucci
2021 J jnl
CoRR
Erfan Ghorbani, Hossein Karimpour, Venus Pasandi, Mehdi Keshmiri
2020 J jnl
Robotics Auton. Syst.
Venus Pasandi, Aiko Dinale, Mehdi Keshmiri, Daniele Pucci
2019 conf
CDC
Venus Pasandi, Aiko Dinale, Mehdi Keshmiri, Daniele Pucci
2019 J jnl
CoRR
Venus Pasandi, Aiko Dinale, Mehdi Keshmiri, Daniele Pucci
2019 J jnl
CoRR
Erfan Ghorbani, Venus Pasandi, Mehdi Keshmiri, Mostafa Ghobadi
scripts/setup-and-run.sh
← Index scripts/setup-and-run.sh bash
#!/bin/bash
set -e

# Setup Binary Ninja Python API if available on host (from snapshot)
if [ -d "/opt/binaryninja" ] && [ -f "/opt/binaryninja/scripts/linux-setup.sh" ]; then
    echo "Binary Ninja found on host, setting up Python API..."
    cd /opt
    ./binaryninja/scripts/linux-setup.sh -s || echo "Binary Ninja setup failed"
    
    # Change back to the app directory
    cd /app
    
    # Verify installation
    python3 -c "import binaryninja; print('Binary Ninja Python API ready, version:', binaryninja.core_version())" 2>/dev/null || echo "Binary Ninja Python API not available"
else
    echo "Binary Ninja not found on host - decompilation will be disabled"
fi

# Copy license if available
if [ -f "/opt/binaryninja-license/license.dat" ]; then
    mkdir -p ~/.binaryninja
    cp /opt/binaryninja-license/license.dat ~/.binaryninja/
    echo "Binary Ninja license configured"
fi

# Execute the original command
exec "$@"