List of Publications :


Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé: Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. SFM 2016: 1-35



Tobias Kappé, Farhad Arbab, Carolyn L. Talcott: A Compositional Framework for Preference-Aware Agents. CoRR (2016)


Tobias Kappé, Logic for Soft Constraint Automata , Master Thesis