Concepedia

Sophie Libkind

SL

Statistics

Publications

4

Citations

53

H-Index

4

Active since

2013

Affiliations

Georgia Tech Research Institute(Current)

University of Florida

Topos

Georgia Institute of Technology

Stanford University

Sophie Libkind is an author at Georgia Tech Research Institute specializing in automated reasoning, dynamic systems, and formal methods.

Top concepts

Publications per year

2013–2022

4

Publications

4

Operadic Modeling of Dynamical Systems: Mathematics and Computation

Sophie Libkind, Andrew Baas, Evan Patterson et al. · Electronic Proceedings in Theoretical Computer Science · 2022 · 16 citations · Full text

, , +12

Control Improvisation with Application to Music

Alexandre Donzé, Sophie Libkind, Sanjit A. Seshia et al. · UC Berkeley · 2013 · 15 citations

An algebraic framework for structured epidemic modelling

Sophie Libkind, Andrew Baas, Micah Halter et al. · Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences · 2022 · 12 citations · Full text

Machine Improvisation With Formal Specifications

Alexandre Donzé, Rafael R. Valle, Ilge Akkaya et al. · The Journal of the Abraham Lincoln Association · 2014 · 10 citations · Full text

1–4 of 4