MMODELYST
People/Matthias Cosler
PPL

Matthias Cosler

Papers (2)
Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in TamarinNatural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models