Scholar
François Schwarzentruber
Google Scholar ID: EPuq4M8AAAAJ
École Normale Supérieure de Lyon
Citations & Impact
Citations
775
H-index
16
i10-index
31
Publications
20
Co-authors
45
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Paper 'Verifying Quantized Graph Neural Networks is PSPACE-complete' accepted at IJCAI 2025
- Paper 'Spanning-tree based coverage for a tethered robot' accepted in IEEE Robotics and Automation Letters
- Paper 'A Simple Integration of Epistemic Logic and Reinforcement Learning' accepted at AAMAS 2025
- Paper 'A Computationally Grounded Framework for Cognitive Attitudes' accepted at AAAI 2025
- Work on contextual reasoning won the Best Student Paper Award at KR 2024
- Work on reasoning about graph neural networks accepted at IJCAI 2024
- Published influential papers in journals such as Theoretical Computer Science and Artificial Intelligence
