Index of /~rseba/DIDATTICA/fm2020/VIDEO_CLASSES

	Name	Last modified	Size	Description
	Parent Directory		-
	00README	2020-04-27 16:06	1.5K
	00TEST-2020-03-09_20.08.28.mp4	2020-03-09 20:08	625K
	2020.03.10-CL05-CH03-CTL-2020-03-10_09.08.26_LTLSummary.mp4	2020-03-15 22:55	18M
	2020.03.10-CL05-CH03-CTL-2020-03-10_09.31.03_CTLSemantics1.mp4	2020-03-15 22:55	9.0M
	2020.03.10-CL05-CH03-CTL-2020-03-10_09.37.10_CTLSemantics2.mp4	2020-03-15 22:55	3.1M
	2020.03.10-CL05-CH03-CTL-2020-03-10_09.39.26_CTLSemantics3.mp4	2020-03-15 22:55	26M
	2020.03.10-CL05-CH03-CTL-2020-03-10_09.53.25_CTLSemantics4.mp4	2020-03-15 22:55	14M
	2020.03.10-CL05-CH03-CTL-2020-03-10_10.02.17_CTLSemantics5.mp4	2020-03-15 22:55	25M
	2020.03.10-CL05-CH03-CTL-2020-03-10_10.50.17_CTLExamples.mp4	2020-03-15 22:55	27M
	2020.03.12-CL06-CH03-01-LTLvsCTL.mp4	2020-03-15 22:55	44M
	2020.03.12-CL06-CH03-02-LTLCTL_Exercises.mp4	2020-03-15 22:55	48M
	2020.03.13-CL07-CH03-FAIR.mp4	2020-03-15 22:56	78M
	2020.03.17-CL08-CH04-CTLMC-01-generalities.mp4	2020-03-16 11:13	59M
	2020.03.17-CL08-CH04-CTLMC-02-theoreticalissues.mp4	2020-03-16 12:42	80M
	2020.03.19-CL09-CH04-CTLMC-01-algorithms.mp4	2020-03-16 13:29	52M
	2020.03.19-CL09-CH04-CTLMC-02-checkinginvariants.mp4	2020-03-16 17:29	37M
	2020.03.19-CL09-CH04-CTLMC-03-exercises.mp4	2020-03-16 17:52	23M
	2020.03.20-CL10-CH05-SymbCTLMC-01-motivations.mp4	2020-03-18 12:55	12M
	2020.03.20-CL10-CH05-SymbCTLMC-02-obdds.mp4	2020-03-18 14:51	133M
	2020.03.24-CL11-CH05-SymbCTLMC-01-SymbolicSystems.mp4	2020-03-23 11:54	99M
	2020.03.24-CL11-CH05-SymbCTLMC-02-SymbolicMC.mp4	2020-03-23 12:20	36M
	2020.03.24-CL11-CH05-SymbCTLMC-03-ExampleComplexity.mp4	2020-03-23 12:47	36M
	2020.03.24-CL11-CH05-SymbCTLMC-04-Exercises.mp4	2020-03-23 13:16	42M
	2020.03.26-CL12-CH06-FairCTLMC-01-generalities.mp4	2020-03-23 16:35	37M
	2020.03.26-CL12-CH06-FairCTLMC-02-fairEGExplicitState.mp4	2020-03-23 17:02	32M
	2020.03.26-CL12-CH06-FairCTLMC-03-fairEGSymbolic.mp4	2020-03-23 18:01	51M
	2020.03.31-CL13-CH07-SymbolicLTLMC-01-generalIdeas.mp4	2020-03-30 10:52	27M
	2020.03.31-CL13-CH07-SymbolicLTLMC-02-buildingTableaux.mp4	2020-03-30 11:40	75M
	2020.03.31-CL13-CH07-SymbolicLTLMC-03-SymbolicTableaux.mp4	2020-03-30 12:08	33M
	2020.04.02-CL14-CH07-SymbolicLTLMC-01-Product.mp4	2020-03-30 12:32	16M
	2020.04.02-CL14-CH07-SymbolicLTLMC-02-CheckEmptyness.mp4	2020-03-30 12:41	9.4M
	2020.04.02-CL14-CH07-SymbolicLTLMC-03-Example.mp4	2020-03-30 13:16	45M
	2020.04.02-CL14-CH07-SymbolicLTLMC-04-Exercises.mp4	2020-03-30 13:37	40M
	2020.04.07-CL15-CH08-AutomataTheoreticLTLMC-01-generalities.mp4	2020-04-05 17:05	16M
	2020.04.07-CL15-CH08-AutomataTheoreticLTLMC-02-FiniteWordsAutomata.mp4	2020-04-05 17:52	78M
	2020.04.09-CL16-CH08-AutomataTheoreticLTLMC-01-BuchiAutomata.mp4	2020-04-05 19:09	99M
	2020.04.09-CL16-CH08-AutomataTheoreticLTLMC-02-EmptynessCheck.mp4	2020-04-05 20:07	65M
	2020.04.14-CL17-CH08-AutomataTheoreticLTLMC-01-Generalities&KM2Buchi.mp4	2020-04-13 17:50	31M
	2020.04.14-CL17-CH08-AutomataTheoreticLTLMC-02-LTL2BuchiExponential.mp4	2020-04-13 17:57	7.6M
	2020.04.14-CL17-CH08-AutomataTheoreticLTLMC-03-LTL2BuchiGeneralIdeas.mp4	2020-04-13 18:28	50M
	2020.04.14-CL17-CH08-AutomataTheoreticLTLMC-04-LTL2BuchiAlgorithm.mp4	2020-04-13 19:14	77M
	2020.04.14-CL17-CH08-AutomataTheoreticLTLMC-05-LTL2BuchiExamples.mp4	2020-04-13 19:47	53M
	2020.04.14-CL17-CH08-AutomataTheoreticLTLMC-06-FinalRemarks.mp4	2020-04-13 19:53	7.8M
	2020.04.14-CL17-CH08-AutomataTheoreticLTLMC-07-Exercises.mp4	2020-04-13 20:11	20M
	2020.04.16-CL18-CH09-SatBasedMC-01-SatDPLL.mp4	2020-04-14 10:05	50M
	2020.04.16-CL18-CH09-SatBasedMC-02-SatCDCL.mp4	2020-04-14 10:55	94M
	2020.04.21-CL19-CH09-SatBasedMC-01-GeneralitiesIntuitions.mp4	2020-04-19 16:48	20M
	2020.04.21-CL19-CH09-SatBasedMC-02-BMCEncoding.mp4	2020-04-19 17:25	72M
	2020.04.21-CL19-CH09-SatBasedMC-03-RelevantSubcases.mp4	2020-04-19 17:44	32M
	2020.04.21-CL19-CH09-SatBasedMC-04-BMCExample.mp4	2020-04-19 18:02	28M
	2020.04.23-CL20-CH09-SatBasedMC-01-BMCUpperBounds.mp4	2020-04-20 11:06	41M
	2020.04.23-CL20-CH09-SatBasedMC-02-KInduction.mp4	2020-04-20 12:52	59M
	2020.04.23-CL20-CH09-SatBasedMC-03-KinductonExample.mp4	2020-04-20 13:13	29M
	2020.04.23-CL20-CH09-SatBasedMC-04-Exercises.mp4	2020-04-20 13:27	21M
	2020.04.28-CL21-CH10-AbstractionBasedMC-01-AbstractionDefinitions.mp4	2020-04-27 12:40	52M
	2020.04.28-CL21-CH10-AbstractionBasedMC-02-AbstractionResults.mp4	2020-04-27 12:54	23M
	2020.04.30-CL22-CH10-AbstractionBasedMC-01-AbstractionChecking.mp4	2020-04-27 13:32	39M
	2020.04.30-CL22-CH10-AbstractionBasedMC-02-AbstractionRefinement.mp4	2020-04-27 15:09	59M
	2020.04.30-CL22-CH10-AbstractionBasedMC-03-Exercises.mp4	2020-04-27 15:46	32M
	2020.05.05-CL23-CH10-TimedHybridMC-01-Motivations.mp4	2020-05-04 16:50	22M
	2020.05.05-CL23-CH10-TimedHybridMC-02-TimedAutomata.mp4	2020-05-04 17:42	80M
	2020.05.07-CL24-CH10-TimedHybridMC-01-Semantics.mp4	2020-05-04 18:11	30M
	2020.05.07-CL24-CH10-TimedHybridMC-02-Composition.mp4	2020-05-04 18:46	52M
	2020.05.12-CL25-CH11-TimedHybridMC-01-symbolicReachability.mp4	2020-05-10 17:15	59M
	2020.05.12-CL25-CH11-TimedHybridMC-02_RegionAutomata.mp4	2020-05-10 18:06	91M
	2020.05.14-CL26-CH11-TimedHybridMC-01-ZoneAutomata.mp4	2020-05-10 19:25	75M
	2020.05.14-CL26-CH11-TimedHybridMC-02-DBMs.mp4	2020-05-10 19:57	54M
	2020.05.19-CL27-CH11-TimedHybridMC-01-ModelingSemantics.mp4	2020-05-18 15:33	67M
	2020.05.19-CL27-CH11-TimedHybridMC-02-MultirateRectangular.mp4	2020-05-18 16:01	49M
	2020.05.21-CL28-CH11-TimedHybridMC-01-LInearHybridReachability.mp4	2020-05-19 16:44	93M
	2020.05.21-CL28-CH11-TimedHybridMC-02-Exercises.mp4	2020-05-19 17:29	56M
	2020.05.21-CL28-CH11-TimedHybridMC-03-ExesciseDBM.mp4	2020-05-19 22:13	12M
	2020.05.26-CL29-ZoomExamDiscussionExercises.mp4	2020-05-26 13:55	208M
	2020.06.02-CL30-ZoomQuestionsAnswers.mp4	2020-06-02 12:19	68M
	LAB-2020-03-27_0_course_info_and_nuXmv_intro.mp4	2020-03-30 17:47	180M
	LAB-2020-04-03_nuXmv_model_checking.mp4	2020-04-05 20:20	188M
	LAB-2020-04-10_planning_via_model_checking.mp4	2020-04-12 17:26	99M
	LAB-2020-04-17_compute_and_other_commands_for_fsm.mp4	2020-04-17 13:35	130M
	LAB-2020-04-24_nuxmv_bmc.mp4	2020-04-25 12:35	101M
	LAB-2020-05-08_infinite_state_model_checking.mp4	2020-05-10 20:03	40M
	LAB-2020-05-15_iiv_l2s.mp4	2020-05-19 14:12	80M
	LAB-2020-05-22_nuxmv_exercises1.mp4	2020-05-26 15:30	86M
	LAB-2020-05-28_nuxmv_exercises2.mp4	2020-06-08 09:48	102M
	LAB-2020-05-29_timed-nuxmv.mp4	2020-06-08 09:49	90M
	LAB-2020-06-04_hybrid_systems.mp4	2020-06-08 09:50	84M