José A. Alonso on Nostr: Language partitioning for mission-time linear temporal logic (in Isabelle/HOL). ~ ...
Published at
2025-03-05 10:13:39 UTCEvent JSON
{
"id": "3ae43a5eebfc3ca52ee2c014db5737d3e7fcea5ba8ed650ceae7dc3569111fda",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1741169619,
"kind": 1,
"tags": [
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/114109292192992709",
"activitypub"
]
],
"content": "Language partitioning for mission-time linear temporal logic (in Isabelle/HOL). ~ Zili Wang, Katherine Kosaian, Alec Rosentrater. https://www.isa-afp.org/entries/Mission_Time_LTL_Language_Partition.html #ITP #IsabelleHOL",
"sig": "55b6f64031a3ad49b9f1ca083027d4bb91d6c92953f3dceb8f7144278f5830a15ad67200bba387f6efa354f94b7abf849ff8e98f89cbbb170583e1d640d638c7"
}
