diff options
| -rw-r--r-- | experience/2019-06_lis.nix | 2 | ||||
| -rw-r--r-- | experience/2020-03_nii.nix | 2 | ||||
| -rw-r--r-- | experience/2022-03_irif.nix | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/experience/2019-06_lis.nix b/experience/2019-06_lis.nix index 1f3da5d..091221c 100644 --- a/experience/2019-06_lis.nix +++ b/experience/2019-06_lis.nix @@ -26,5 +26,5 @@ } ]; description = - "Studied a quantum walker whose density changes its own environment."; + "Developed a quantum walker model whose density changes its own environment."; } diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix index ae2a701..95b641c 100644 --- a/experience/2020-03_nii.nix +++ b/experience/2020-03_nii.nix @@ -24,5 +24,5 @@ id = "aristoteFibrationalFrameworkNested2020"; } ]; - description = "Studied a fibrational framework for nested fixed points and (bi)simulation notions for Büchi automata."; + description = "Generalized a greatest-fixed-points- and safety-games-based fibrational framework for bisimulations to nested fixed points and parity games."; } 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."; } |