Lec 33: Büchi Automata
★
★
★
★
☆
4/5
Tuit catalog
Synthesis notes of video analyses, assessed and condensed, in French and English.
43,932 tuit
·
901 channels
·
42 domains
·
Last update: Sep 8, 2026
Agriculture & Food
120
AI — Models & Research
3669
AI — News & Applications
1721
AI & Society
842
Archaeology
112
Arts & Architecture
1235
Astronomy & Cosmology
3420
Biology
1872
Chemistry
310
Climate & Ecology
883
Computing & Cybersecurity
3180
Control & Robotics
336
Earth Sciences & Geography
230
Economics & Finance
3003
Education
646
Energy
1174
Engineering & Technology
2966
Foresight & Science Fiction
340
Geopolitics & Defence
474
History
599
Hobbies & Practical
268
Language & Linguistics
268
Law & Justice
501
Literature & Writing
789
Mathematics
1974
Media & Information
254
Medicine & Health
2619
Neuroscience
390
Paleontology
61
Personal Development
528
Philosophy & Ethics
735
Physics
2904
Politics & Institutions
585
Psychology
466
Religion & Beliefs
226
Science — General & History
1456
Society & Culture
885
Space Exploration
843
Sports
75
Transport & Mobility
127
Urban Planning & Mobility
69
Video Games
777
VSC
Advice on careers and achieving success
52
TRP
Aerospace and aviation technology
820
PBF
Algebra
238
PBMW
Algebraic geometry
154
PBPD
Algebraic topology
42
UMB
Algorithms and data structures
51
KNBT
Alternative and renewable energy industries
113
THV
Alternative and renewable energy sources and technology
131
MKJD
Alzheimer’s, dementia, Parkinson’s disease and other neurodegenerative diseases
62
QDHA
Ancient Greek and Roman philosophy
38
JBFU
Animals and society
20
TTB
Applied optics
27
NKDS
Archaeological sites
26
NK
Archaeology
39
NKD
Archaeology by period
20
AM
Architecture
29
UYQD
Artificial general intelligence (AGI)
39
UYQ
Artificial intelligence (AI)
1719
VSPM
Assertiveness, motivation, self-esteem and positive mental attitude
191
TTDS
Astronautics
979
PGG
Astronomical observation: observatories, equipment and methods
101
PG
Astronomy, space and time
889
PHVB
Astrophysics
109
PHM
Atomic and molecular physics
70
TJFM
Automatic control engineering
68
TRPS
Aviation skills and piloting
21
KFFK
Banking
21
THYB
Battery technology
136
PBTB
Bayesian inference
30
PSB
Biochemistry
297
RNCB
Biodiversity
30
PSAD
Bioethics
30
DNBH
Biography: historical, political and military
77
DNBM
Biography: philosophy and social sciences
20
DNBR
Biography: royalty
24
DNBT
Biography: science, technology and medicine
56
DNBL
Biography: writers
38
PS
Biology, life sciences
21
MQW
Biomedical engineering
21
PHVN
Biophysics
25
TCB
Biotechnology
53
TNK
Building construction and materials
20
KJ
Business and Management
51
KJJ
Business and the environment; sustainable approaches to business
29
KJD
Business innovation
22
KJC
Business strategy
24
PBKA
Calculus
40
PBK
Calculus and mathematical analysis
60
MJD
Cardiovascular medicine
25
JNR
Careers guidance
31
PSF
Cellular biology (cytology)
114
JPQB
Central
42
PN
Chemistry
21
MJCL2
Chemotherapy
26
AMVD
City and town planning: architectural aspects
27
NHWR3
Civil wars
20
PHD
Classical mechanics
188
RNPG
Climate change
195
RBPC
Climatology and climate modelling
24
MBGR1
Clinical trials
20
UTC
Cloud computing
23
GPJ
Coding theory and cryptology
36
JMR
Cognition and cognitive psychology
106
PSAN5
Cognitive and behavioural neuroscience
226
GTK
Cognitive studies
38
PBV
Combinatorics and graph theory
49
GTC
Communication studies
26
TJK
Communications engineering
30
DSM
Comparative literature
23
PBKD
Complex analysis, complex variables
51
PSAX
Computational biology
78
KNTV
Computer and video game industry
162
UYF
Computer architecture and logic design
104
URH
Computer fraud and hacking
219
UDX
Computer games
524
UGG
Computer games design
218
UYM
Computer modelling and simulation
21
UT
Computer networking and communications
22
UY
Computer science
48
UR
Computer security
604
URJ
Computer viruses, Trojans and worms
24
UYQV
Computer vision
108
PHFC
Condensed matter physics (liquid state and solid state physics)
113
JBGX
Conspiracy theories
45
LNDX
Constitution
31
JPZ
Corruption in politics, government and society
26
PGK
Cosmology and the universe
945
JKVF
Criminal investigation and detection
35
GPH
Data science and analysis
33
GTS
Decolonisation of knowledge
34
KCM
Development economics and emerging economies
57
GTP
Development studies
33
PSC
Developmental biology
36
MBNH3
Dietetics and nutrition
23
PBMP
Differential and Riemannian geometry
34
PBKJ
Differential calculus and equations
87
UBJ
Digital and information technologies: social and ethical aspects
836
UB
Digital and Information technology: general topics
26
KCVM
Digital or internet economics
30
WNA
Dinosaurs and the prehistoric world: general interest
51
JPSD
Diplomacy
29
JBFM
Disability: social aspects
21
JBCT5
Disinformation and misinformation
66
ATFR
Documentary films
23
RNFD
Drought and water supply
20
PHDT
Dynamics and statics
75
QDHC
East Asian and Indian philosophy
26
PSAF
Ecological science, the Biosphere
31
KCX
Economic and financial crises and disasters
28
KCA
Economic theory and philosophy
34
KC
Economics
21
JNDH
Education: examinations and assessment
30
JNK
Educational administration and organization
20
JNV
Educational equipment and technology, computer-aided learning (CAL)
59
JNC
Educational psychology
25
JPHF
Elections and referenda
28
TRV
Electric vehicles
42
THR
Electrical engineering
52
KNBL
Electrical power generation and distribution industries
245
PHK
Electricity, electromagnetism and magnetism
239
TJFD
Electronic devices and materials
179
TJFC
Electronics: circuits and components
165
PHDB
Elementary mechanics
33
MJG
Endocrinology
22
PHDY
Energy
21
LNCR
Energy and natural resources law
35
THYC
Energy efficiency
50
KNB
Energy industries and utilities
186
RNFY
Energy resources
50
THY
Energy, power generation, distribution and storage
300
TGMD
Engineering: Mechanics of solids
24
UFL
Enterprise software
46
KJH
Entrepreneurship
99
KCVG
Environmental economics
86
MBNH2
Environmental factors
49
RND
Environmental policy and protocols
176
RNA
Environmentalist thought and ideology
75
MBNS
Epidemiology and Medical statistics
109
SXE
eSports
23
QDTQ
Ethics and moral philosophy
45
PSVP
Ethology and animal behaviour
28
PBMH
Euclidean geometry
41
NHD
European history
22
PSAJ
Evolution
134
PSXE
Evolutionary anthropology
73
UYQE
Expert systems
25
ATFG
Film guides and reviews
90
ATFA
Film history, theory or criticism
26
ATFN
Film: styles and genres
341
KFF
Finance and the finance industry
35
KFFF
Financial technology (fintech)
29
RNFF
Food security and supply
33
PBKF
Functional analysis and transforms
26
PGM
Galaxies and stars
295
UMK
Games development and programming
37
JBSF
Gender studies, gender groups
22
JBSF1
Gender studies: women and girls
69
MKZV
Gene therapy
36
GTZ
General studies and General knowledge
21
UYQF
Generative artificial intelligence
2002
TCBG
Genetic engineering
47
PSAK
Genetics (non-medical)
603
RBG
Geology, geomorphology and the lithosphere
20
PHVG
Geophysics
32
JPSL
Geopolitics
258
THVG
Geothermal energy and power
33
PHDV
Gravity
28
KFFS
Green finance
49
PBG
Groups and group theory
103
MJF
Haematology
20
MBP
Health systems and services
35
JBFN
Health, illness or addiction: social aspects
21
VFMD
Health: Diets and nutrition
20
MJJ
Hepatology
40
JNM
Higher education, tertiary education
217
RBGF
Historical geology and palaeogeology
36
NHAH
Historiography
30
NH
History
36
AGA
History of art
25
UBB
History of Computing, digital and information technologies
43
TBX
History of engineering and technology
21
PBX
History of mathematics
25
PDX
History of science
135
KJZ
History of specific companies
21
NHK
History of the Americas
50
NHT
History: specific events and topics
21
JBFD
Housing and homelessness
20
PSX
Human biology
24
JPVH
Human rights, civil rights
39
THD
Hydrogen technologies
50
THVH
Hydropower
21
TTBM
Imaging systems and technology
20
MJCM
Immunology
79
PDR
Impact of science and technology on society
109
AMB
Individual architects and architectural firms
23
AGB
Individual artists, art monographs
30
ATFB
Individual film directors, film-makers
30
PDG
Industrial applications of scientific research and technological innovation
44
MJCJ
Infectious and contagious diseases
54
KNTX
Information technology industries
266
JWD
Information warfare
25
GTV
Institutions and learned societies: general
31
PBKL
Integral calculus and equations
23
JPSN
International institutions
23
JPS
International relations
21
KCLT
International trade and commerce
46
ATN
Internet and digital media: arts and performance
49
UBW
Internet: general works
40
DNPB
Interviews
32
KFFM
Investment and securities
121
KJMV3
IT and information systems management
36
KCF
Labour
80
PHJL
Laser physics
42
TTBL
Laser technology and holography
20
DSRC
Literary companions, book reviews and guides
25
DSK
Literary studies: fiction, novelists and prose writers
63
DSC
Literary studies: poetry and poets
43
DSA
Literary theory
22
UYQM
Machine learning
998
KCB
Macroeconomics
20
KJMB
Management: leadership and motivation
36
TGM
Materials science
45
MKCM
Materno-foetal medicine
34
PHU
Mathematical
131
PBCD
Mathematical logic
99
PBWH
Mathematical modelling
51
UYA
Mathematical theory of computation
189
PB
Mathematics
77
MFKH3
Maturation and ageing
60
JBCT
Media studies
23
JBCT1
Media studies: internet, digital media and society
54
JBCT4
Media studies: journalism
80
MBF
Medical and health informatics
55
MFN
Medical genetics
155
MKS
Medical imaging
20
MBGL
Medical laboratory testing and techniques
20
MBGR
Medical research
42
RBPM
Meteorology
23
PSG
Microbiology (non-medical)
50
JBFH
Migration, immigration and emigration
27
JWK
Military and defence strategy
34
PSD
Molecular biology
159
KCBM
Monetary economics
70
GLZ
Museology and heritage studies
23
TBN
Nanotechnology
25
UYX
Natural computing
723
RNR
Natural disasters
25
UYQL
Natural language and machine translation
119
WN
Nature and the natural world: general interest
46
UTN
Network security
43
UTP
Networking standards and protocols
21
UYQN
Neural networks and fuzzy systems
367
MKJ
Neurology and clinical neurophysiology
54
PSAN
Neurosciences
106
KNTP2
News media and journalism
20
PNRL
Nuclear chemistry, photochemistry and radiation
26
RNQ
Nuclear issues
27
MKR
Nuclear medicine
66
PHN
Nuclear physics
104
THK
Nuclear power and engineering
174
PBH
Number theory
181
PBKS
Numerical analysis
33
RBKC
Oceanography (seas and oceans)
42
MJCL
Oncology
113
KJSG
Online marketing
20
PHJ
Optical physics
139
PBU
Optimization
28
TTMW
Ordnance, weapons technology
20
PNN
Organic chemistry
65
RBX
Palaeontology
61
MKB
Palliative medicine
32
UYFP
Parallel processing
24
PHP
Particle and high-energy physics
107
GTU
Peace studies and conflict resolution
34
VSB
Personal finance
37
KJMV2
Personnel and human resources management
27
KNBP
Petroleum, oil and gas industries
80
MKG
Pharmacology
46
QD
Philosophy
28
PBB
Philosophy of mathematics
29
QDTM
Philosophy of mind
65
PDA
Philosophy of science
136
QDTK
Philosophy: epistemology and theory of knowledge
110
QDTL
Philosophy: logic
47
QDTJ
Philosophy: metaphysics and ontology
38
PNR
Physical chemistry
66
PH
Physics
165
PHDF
Physics: Fluid mechanics
40
JMM
Physiological psychology, neuropsychology, biopsychology
24
MFG
Physiology
49
PSTB
Plant biology
28
PHFP
Plasma physics
22
KCP
Political economy
101
JPHL
Political leaders and leadership
36
JPA
Political science and theory
21
JPHV
Political structures
42
JP
Politics and government
58
RNP
Pollution and threats to the environment
31
PDZM
Popular and recreational mathematics
71
WNX
Popular astronomy and space
768
QDXB
Popular philosophy: Meaning of life
22
VSP
Popular psychology
92
PDZ
Popular science
382
JPWG
Pressure groups, protest movements and non-violent action
25
URD
Privacy and data protection
27
PBT
Probability and statistics
216
TGP
Production and industrial engineering
35
UMX
Programming and scripting languages: general
89
UMA
Programming techniques
25
JMA
Psychological theory, systems, schools and viewpoints
20
JM
Psychology
58
JMQ
Psychology: emotions
22
JMT
Psychology: states of consciousness
31
MKGW
Psychopharmacology
35
JPP
Public administration
25
KFFD
Public finance and taxation
43
MBN
Public health and preventive medicine
59
PHQ
Quantum physics (quantum mechanics and quantum field theory)
750
JBFA1
Racism and racial discrimination
26
PBKB
Real analysis, real variables
36
MFGG
Regional physiology
23
PHR
Relativity physics
278
QRAM2
Religion and politics
21
QRAM3
Religion and science
24
DNP
Reportage, journalism or collected columns
68
GPS
Research methods
95
TJFM1
Robotics
267
KJS
Sales and marketing
37
KJMV7
Sales and marketing management
42
UFLS
SAP (Systems, applications and products in databases)
24
FLU
Science fiction: aliens
77
FLW
Science fiction: space exploration
199
FLS
Science fiction: space opera
34
PDK
Science funding and policy
64
PD
Science: general issues
51
PDM
Scientific research
46
NHWR7
Second World War
40
CFG
Semantics, discourse analysis, stylistics
28
PSAN4
Sensory and motor systems
20
TJKH
Signal processing
34
NHTS
Slavery, enslaved persons and abolition of slavery
27
NHTB
Social and cultural history
59
JBF
Social and ethical issues
28
QDTS
Social and political philosophy
68
JBFZ
Social forecasting, future studies
20
RNT
Social impact of environmental issues
36
JMH
Social, group or collective psychology
44
CFB
Sociolinguistics
34
UMZ
Software Engineering
64
THVS
Solar power
152
PGS
Solar system: the Sun and planets
290
TTDX
Space exploration
520
TTD
Space science
278
DNS
Speeches
35
PHS
Statistical physics
48
PBWL
Stochastics
43
RNU
Sustainability
47
JNU
Teaching of a specific subject
28
ATJ
Television
41
ATJS
Television: styles and genres
20
ATD
Theatre studies
23
PGC
Theoretical and mathematical astronomy
75
ABA
Theory of art
32
PHH
Thermodynamics and heat
25
PGZ
Time (chronology), time systems and standards
44
PBP
Topology
21
RPC
Urban and municipal planning and policy
47
MBNK
Vaccination
27
RBC
Volcanology and seismology
24
PHDS
Wave mechanics (vibration and acoustics)
34
UMW
Web programming
53
THVW
Wind power
24
CBW
Writing and editing guides
25
PSV
Zoology and animal sciences
22
Lec 32: Introduction to LTL Model Checking
★
★
★
★
☆
4/5
Lec 32: Foundations of Usability Evaluation
★
★
★
★
☆
4/5
Lec 31: Participatory Design & Co-Design
★
★
★
★
☆
4/5
Lec 31: Correctness of CTL Model Checking Algorithms
★
★
★
★
☆
4/5
Lec 30: CTL Model Checking Algorithms
★
★
★
★
☆
4/5
Le résistible retour de l’extrême droite, par Nonna Mayer
The resistible return of the far right, by Nonna Mayer
★
★
★
★
☆
4/5
La Paradoxe de Fermi a Une Solution Troublante — Le Mystère de 75 Ans
The Fermi Paradox Has a Disturbing Solution — The 75-Year Mystery
★
★
★
★
☆
4/5
L1B: A Very Short Overview of Quantum Computing
★
★
★
★
☆
4/5
Jay Hsu 許捷元 | 捷元 許 | TEDxYLSH Youth
★
★
★
☆
☆
3/5
Hunting $50,000 Meteorites in Sweden's Arctic Circle
★
★
★
★
☆
4/5
GEARS OF WAR E-DAY ⚠️ Le PLUS GROS PARI de XBOX !!! Graphismes, Gameplay, Histoire...
GEARS OF WAR E-DAY ⚠️ XBOX's BIGGEST GAMBLE!!! Graphics, Gameplay, Story...
★
★
★
★
☆
4/5
El Niño is coming
★
★
★
★
☆
4/5
El infinito de los números reales es más grande que el de los números naturales (Efraín Vega Landa)
The infinity of real numbers is larger than that of natural numbers (Efraín Vega Landa)
★
★
★
★
☆
4/5
Découverte de Ragnarok Zero Global ! Classes, Gameplay, ... (Nouveau MMORPG en 2026)
Discovering Ragnarok Zero Global! Classes, Gameplay, ... (New MMORPG in 2026)
★
★
☆
☆
☆
2/5
Claude bekommt ein Wasserzeichen: Transparenz oder digitale Überwachung?
Claude Is Getting Watermarks: Transparency or Digital Surveillance?
★
★
★
★
☆
4/5
Chine : ce DECOLLAGE qui finit en CATASTROPHE - Le Journal de l'Espace #355 - Actu Spatiale
China: A LAUNCH That Ends in DISASTER - The Space Journal #355 - Space News
★
★
★
★
☆
4/5
