diff options
Diffstat (limited to 'experience/2022-03_irif.nix')
| -rw-r--r-- | experience/2022-03_irif.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/experience/2022-03_irif.nix b/experience/2022-03_irif.nix index cb06341..682d652 100644 --- a/experience/2022-03_irif.nix +++ b/experience/2022-03_irif.nix @@ -21,5 +21,5 @@ id = "aristoteApplicationsCategoricalFramework2022"; } ]; - description = "Studied a categorical framework for the minimization and active learning of transition systems."; + description = "Generalized a categorical framework for the minimization and active learning of transition systems and instanciated it to develop new such algorithms."; } |