History of Formal Validation of Neural Networks as Timed Automata

Results 1 - 20 of 80 next page » Page 1 2 3 4

History of Formal Validation of Neural Networks as Timed Automata — revisions from 61.2 to 80.2
From	To	Version	Editor	Date	Summary
From	To	80.2	Andrea Omicini	13/01/2025 13:33	Updated class property name
From	To	79.2	Andrea Omicini	13/01/2025 13:28	Updated class property name
From	To	78.2	Andrea Omicini	13/01/2025 13:05	Updated class property name
From	To	77.1	Andrea Omicini	13/01/2025 12:53	Migrated property [arxiv] from class [Publications.Class]
From	To	76.1	Andrea Omicini	28/12/2023 15:27	Migrated property [pub-super] from class [Publications.Class]
From	To	75.1	Andrea Omicini	28/12/2023 15:12	Migrated property [pub-super] from class [Publications.Class]
From	To	74.2	Andrea Omicini	28/12/2023 14:27	Updated class property name
From	To	73.1	Andrea Omicini	04/10/2023 19:50	Migrated property [superseded] from class [Publications.Class]
From	To	72.1	Andrea Omicini	03/10/2023 11:40	Migrated property [superseded] from class [Publications.Class]
From	To	71.1	Andrea Omicini	14/07/2023 01:10	Migrated property [urlworking] from class [Publications.Class]
From	To	70.1	Andrea Omicini	14/07/2023 00:20	Migrated property [cover] from class [Publications.Class]
From	To	69.1	Andrea Omicini	09/06/2023 20:06
From	To	68.1	Andrea Omicini	28/05/2023 01:04	Renamed from xwiki:Publications.SnnTaCsbio17
From	To	67.1	Andrea Omicini	28/05/2023 01:04
From	To	66.2	Andrea Omicini	18/04/2023 00:21	Updated class property name
From	To	65.1	Andrea Omicini	17/04/2023 23:41	Migrated property [project-venue] from class [Publications.Class]
From	To	64.1	Andrea Omicini	18/03/2023 08:47	Migrated property [access] from class [Publications.Class]
From	To	63.1	Andrea Omicini	02/01/2023 16:36	Migrated property [urlepub] from class [Publications.Class]
From	To	62.1	Andrea Omicini	02/01/2023 13:42
From	To	61.2	Andrea Omicini	01/01/2023 23:48	Updated class property name

next page » Page 1 2 3 4